make install_code not compile labels

So repl_fun operates on labelled bytecode only.

Somewhere the implementation does have to call compile_labels, but this
must now happen before the translation to x86, which doesn't appear in
repl_fun.

Start looking at the effect of this change no repl_correct_lem. It
should make things a little easier.