add proper checking for d-form instr that use signed immediate values
fix the use of register "length" as immediate operand in EnsureNotWhite
guard immeidate value checking using macro (disabled by default)