On a Racket Discord Sam Tobin-Hochstadt pointed out the existence of
Quickcheck for Racket:
Documentation:
http://ifigueroap.github.io/racket-quickcheck/
Github:
https://github.com/ifigueroap/racket-quickcheck/tree/master
Quickcheck seems to have similar goals and design choices as this SRFI;
perhaps comparing the two systems would yield some insights.
Brad