As stated in #23, it would be nice to test our core logic (dtype conversions, leaf/non-leaf optimizations, ...) using [Hypothesis](https://hypothesis.readthedocs.io/en/latest/).
As stated in #23, it would be nice to test our core logic (dtype conversions, leaf/non-leaf optimizations, ...) using Hypothesis.