The REPL probably shouldn't catch Logging::CheckException since we don't know if the situation is safely recoverable. We should investigate situations where CheckException was thrown that should have been handled with RecoverableError.