Prepare release 0.5.7 (#64)

* checkers.cabal: Remove redundant conditionals

   Follow-up to #63.

* Add since-annotations

CHANGELOG.md

@@ -0,0 +1,9 @@
+## [0.5.7]
+
+* [Add `bifoldable` and `bifoldableBifunctor` tests](https://github.com/haskell-checkers/checkers/pull/62)
+
+* [Restore `verboseBatch` functionality](https://github.com/haskell-checkers/checkers/pull/59)
+
+* [Drop support for GHC < 8.2](https://github.com/haskell-checkers/checkers/pull/63)
+
+[0.5.7]: https://github.com/haskell-checkers/checkers/compare/v0.5.6...v0.5.7

checkers.cabal

@@ -19,6 +19,7 @@ Stability:           experimental
 build-type:          Simple
 tested-with:         GHC==9.2.1, GHC==9.0.2, GHC==8.10.7, GHC==8.8.4, GHC==8.6.5, GHC==8.4.4, GHC==8.2.2
 homepage:            https://github.com/haskell-checkers/checkers
+extra-source-files:  README.md CHANGELOG.md
 
 source-repository head
   type:     git
@@ -28,9 +29,6 @@ Library
   hs-Source-Dirs:      src
   Extensions:
   Build-Depends:       base >= 4.10 && < 5, random, QuickCheck>=2.3, array >= 0.1, semigroupoids >= 5 && < 6
-  if !impl(ghc >= 8.0)
-    build-depends:
-      semigroups          >= 0.18.2  && < 0.19
 
   Exposed-Modules:
                        Test.QuickCheck.Utils
@@ -49,7 +47,5 @@ Library
                        Test.QuickCheck.Later
   Other-modules:
                        Control.Monad.Extensions
-  ghc-options:         -Wall
-  if impl(ghc >= 8.0)
-    ghc-options:       -Wredundant-constraints
+  ghc-options:         -Wall -Wredundant-constraints
   Default-Language:    Haskell2010

src/Test/QuickCheck/Classes.hs

@@ -829,6 +829,7 @@ foldableFunctor = const ( "Foldable Functor"
     foldMapP :: (a -> m) -> t a -> Property
     foldMapP f t = foldMap f t =-= fold (fmap f t)
 
+-- | @since 0.5.7
 bifoldable :: forall p a b c m.
                ( Bifoldable p, Monoid m
                , Show (p a b), Show (p m m)
@@ -852,6 +853,7 @@ bifoldable = const ( "Bifoldable"
    bifoldrBifoldMapP :: (a -> c -> c) -> (b -> c -> c) -> c -> p a b -> Property
    bifoldrBifoldMapP f g z t = bifoldr f g z t =-= appEndo (bifoldMap (Endo . f) (Endo . g) t) z
 
+-- | @since 0.5.7
 bifoldableBifunctor :: forall p a b m.
                        ( Bifoldable p, Bifunctor p, Monoid m
                        , Show (p a b)