parameterise prog_to_bytecode over the instruction length

use real_inst_length for the compiler explorer and for prog_to_x86_64,
otherwise use \x. 0.