The python code in the post looks a bit funny with the `end` statement at the end. I had to ready it twice to be sure that Hypothesis hadn't been rewritten for Ruby!
Also, by "supporting Hypothesis", you mean "giving money to DR MacIver", right? This is not completely clear from the post.