Removed dependency on QuickCheck.