Update QuickCheck upper bounds