schrodinger.test.hypothesis.strategies.proteins module