Hypothesis strategies for generating Python programs, something like CSmith.