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

ucb-sts/sts,ucb-sts/sts,jmiserez/sts,jmiserez/sts