implement shrinking to generate "smaller" programs once we detect a failure

[michaelficarra]

A shrinking function should take a node and produce a list of nodes that are potentially easier for a human to consume. A good strategy: generate the leaf, something around half the size, and something just barely smaller.