Further protection against replaying InvariantViolations
Treat new state changes .time as now()
Filter timed out / new / invariant violations into separate colors