bump QuickCheck upper-bound