It’s great that proptest supports so many use cases. The only pain point is figuring out all the possible configurations and how to combine them (e.g. PROPTEST_RNG_ALGORITHM, PROPTEST_RNG_SEED, etc.) to achieve the desired behavior. A dedicated section in the docs would help users discover and explore its full potential.