Make simplifcations in the disassembler optional