change cabal and related files to get QuickCheck to run (but it fails)