Rework "char__byte_to_hex"
Add "--rand-instr-mem" and "--synth-instr-mem" command line options