StoreIntValidator

Validator of MemoryInstruction.StoreInt nodes.

From the docs:

t.store 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.storeN 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] => [].