LoadFloatValidator

Validator of MemoryInstruction.LoadFloat 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].