Add QuickCheck-like generation