Add more accurate Replay test.
Add more accurate Replay test.

Also checks whether the reported seed is the same as the input seed.

cloudRoutine/FsCheck,yukitos/FsCheck,paulyoung/FsCheck,kos59125/FsCheck,forki/FsCheck,cloudRoutine/FsCheck,forki/FsCheck,yukitos/FsCheck,sideeffffect/FsCheck,fscheck/FsCheck,ErikSchierboom/FsCheck,dungpa/FsCheck,vasily-kirichenko/FsCheck,yukitos/FsCheck,ploeh/FsCheck,paulyoung/FsCheck,fscheck/FsCheck,jhamm/FsCheck,fsharp/FsCheck