nonfunctional changes to label names spacing and a couple of extra checks in the arm decode module and the generated asm