Hypothesis strategies for generating Python programs, like CSmith
