Add highlighting to ADDrr opcode in other encoding slides