pub fn run_move_prover_errors_to_stderr(options: Options) -> Result<()>