Moved up QuickCheck dependency. Removed dependency on self