Cabal file tweaks

Two minor tweaks; the first fixes the test suite when run from Hackage, and the second just bumps the QuickCheck upper bound.