Bump QuickCheck version to test with GHC HEAD

This is due to the AMP (Functor-Applicative-Monad Proposal) that makes
Applicative a superclass of Monad. QuickCheck 2.7.1 (or so) added the
Applicative instance for their Rose type.