支持状态化测试中的 `async` 方法

@given() 不支持异步函数,但得益于 https://GitHub.com/HypothesisWorks/hypothesis/pull/1343,可以在下游处理,例如在 pytest-trio 中。 然而,我们没有很好的解决方案来处理带有异步方法的状态性测试,并且更难在下游添加 - 例如,hypothesis-trio 复制了 stateful.py 中的所有内容,并添加了几个 await,但现在已有几年的 bug 修复和性能改进。