halt_on_failure in CheckInvariants should allow us to switch to interactive
mode.