After Quite A Long Time, test.check (the property-based testing contrib library) is in a state that I think is good enough for a 0.10.0 release. There's an RC1 release out yesterday, with changes detailed
here. Give it a try, if you like trying new things.