The disabled opcodes cannot be re-enabled in the future. I'm not sure why the 5 byte boundary matters here? If you re-enabled OP_MUL, for example, you could certainly do `0x7fffffff * 0x7fffffff == 0x3fffffff00000001` (eight bytes).