Bump dependency on QuickCheck