Bump QuickCheck lower bound to 2.7.1