Confusing result reporting

[jcp19]

Improve the output of the program. The current output has a bunch of debug information which should not be printed.

[jcp19]

This has been handled for the most part. However, it would be nice to align the summary that is printed at the end (produced in the Stats class) and it would be cool to produce some sort of table or csv with the race listings instead of printing it to the stdio.

[jcp19]

Add textual description of the causes of the detected race condition