hypothesis-auto

Extends Hypothesis to add fully automatic testing of type annotated functions