Update QuickCheck dependency