Fix unit tests: missing attribute timed_out
Add option to replay final MCS to check for the violation