Updated QuickCheck dependency