I'm always impressed with the bugs Hypothesis can find :D Test generators are valuable things, well worth using in combination with a good test suite.