Enhance traversable checks
traversable
Remove redundant constraint from instance CoArbitrary Array
Add bifoldable and bifoldableBifunctor tests
bifoldable
bifoldableBifunctor
Restore verboseBatch functionality
verboseBatch
Drop support for GHC < 8.2