now quickcheck works in the cabal test suite