Property testing in depth: genvalidity-criterion and genvalidity-* performance improvements

https://cs-syd.eu/posts/2020-02-14-genvalidity-performance