Added QuickCheck generator test.