Whilst the property tests are interesting, ultimately rapidcheck
integration in this repository has not gained much traction. We have a
limited number of tests, and they are rarely (if ever) run.

ninja all check

git grep -i rapidcheck
git grep -i property_based