MethodWriter should not accept to write bogus instructions
In the abstract representation of instructions, register indexes can be
arbitrarily large. This is useful when we write a transformation, but when we
dump the code, the writer should check the bounds and throw an exception. Most
instructions only accept either the first 256 registers or even the first 16
registers (eg. invokes).