Allow QuickCheck 2.5

This makes it a bit easier to do Stackage builds. I've confirmed that with QuickCheck 2.5.1.1, the test suite builds and runs without failure.