Bump QuickCheck dependency to 2.7