Provide a hypothesis wrapper

Mixing contracts + hypothesis strategies, writing automated tests is simplified a lot. This provides a first interface to this mixed data + assertions generation approach.

Closes Add a hypothesis plugin (#6 - closed)