hypothesis-crosshair adds the power of solver-based symbolic execution to your
Hypothesis tests with CrossHair.