It would be great if the regression file included the PROPTEST_RNG_SEED on failure. This would allow us to reproduce a run directly from the command line without needing the regression file for debugging.

@moodmosaic and I use proptest for one of our latest projects. We're currently using b9eb3e4 because it lets us specify a seed directly from the command line. Adding the seed to the output file on failure would make debugging much easier.

Thanks!