Remove upper bounds for QuickCheck dependency