Writing tests with hypothesis