focusing on generators

removes properties and the associated test harness. it's redundant to `testing/quick`.
shrinkers are in the next PR