fix file format; fix RUN_INSTR and REPL_INSTR
immectl: eval: add HALT-after-REINIT workaround
immectl: eval: fix argument count checks