Repl: remove explicit timeout from startup sequence

[danmatichuk]

the initial "run" command now blocks until the verifier is in a ready state, which is defined as either the toplevel node being marked "finished" or blocked on user input