It would be cool to see a "many worlds" version of this, where the interpreter forks every time a RANDOM instruction is executed such that one fork has the value 0 and the other has the value 1, and the output tells whether or not all the forks have halted within 100,000 instructions.