Begin renaming process.
minimize -> simplify
generate -> produce
producers are functions size -> value rather than size -> generator(value)
switch to an explicit Simplifiers object
remove the default producer size
production is now a two argument function (Producers,int) -> value
rename
better tracking so we can handle unhashable UDTs
Pull hypothesis falsification out into a more tweakable class. Retain old method for more convenient usage
tweaks to tests and make starting size configurable