Explore using `hypothesis` where appropriate for property testing

We should explore using [hypothesis](https://hypothesis.readthedocs.io/en/latest/) for property testing where appropriate.

We could get significant gains in parametrization coverage with a tool like Hypothesis. Not just more cases, but also systematically discovered edge cases.


From `Divya Ranjan Pattanaik` in leanConsensus call `#7`