More cleanup and reformatting of translate_insn