Add support for QuickCheck 2.7

According to QuickCheck changelog: The Gen monad now uses an abstract type QCGen rather than StdGen.