Add support for QuickCheck 2.7