LoadIntValidator

Validator of MemoryInstruction.LoadInt nodes.

From the docs:

t.load memarg

• The memory C.mems[0] must be defined in the context.
• The alignment 2^memarg.align must not be larger than the bit width of t divided by 8.
• Then the instruction is valid with type [i32] => [t].

t.loadN_sx memarg

• The memory C.mems[0] must be defined in the context.
• The alignment 2^memarg.align must not be larger than N/8.
• Then the instruction is valid with type \[i32] => \[t].