Added dependency to QuickCheck.