Hypothesis strategies for generating Python programs, something like CSmith. WWW: https://github.com/Zac-HD/hypothesmith