Adapt tests to work with recent QuickCheck versions.
Clean up Cabal file.
Version bump.