Add missing QuickCheck dependency.