Bump QuickCheck upper bound