5-minute lightning talk on Python "hypothesis" library