Property based testing

See here: https://hypothesis.readthedocs.io/en/latest/

Since we have other implementations we leverage hypothesis to generate test data for us. This is not quite trivial since the data needs to be in a given format.