Fix bug: don't replay (and log) InvariantViolations