Bump QuickCheck version