document QuickCheck test data generation