Add statistics to commands output
Add statistics to commands output

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