NumericInstructionValidator

Validates NumericInstruction nodes.

From the docs:

t.unop

• The NumericInstruction is valid with type [t] => [t].

t.binop

• The NumericInstruction is valid with type [t t] => [t].

t.testop

• The NumericInstruction is valid with type [t] => [i32].

t.relop

• The NumericInstruction is valid with type [t t] => [i32].

t2.cvtop_t1_sx?

• The NumericInstruction is valid with type \[t1] => \[t2].