"size" argument for generators, shrinking?

[dbp]

I'm wondering if we want to have the ability to have check-contract go from small values to larger values, rather than using the same function to generate values.

Similarly, should we have a way to shrink values? Optional, defaulting to being absent?

[camoy]

Implemented now:

• Generators take a fuel argument that (roughly) should control the size.
• Shrinking.
• check-contract will attempt to shrink as much as possible before raising an error.

[dbp]

💯