Removed upper bound on QuickCheck dependency