Add switch to check for irregularities in the monitoring log

The trace diagnosis tool assumes that the monitoring logs are correct and not damaged or faulty. This assumption allows to speed up specific computations. However, sometimes one wants to check for potential irregularities in the logs. This includes:

• Check whether the "closing" after operation event matches the "opening" before operation event
• Check whether further events are added to a trace although the trace has already been fully reconstructed

A switch should allow to enable/disable these checks.