Randomized testing framework, designed for compatibility with Base
https://github.com/janestreet/base_quickcheck