Develop Check Numeric Instruction

[zixuanzh]

Function signatures are defined in function_section of Module after deserialization.
Reference: https://webassembly.org/docs/modules/

We should be able to unpack Func after deserialization and look at the signature and try to verify there. More documentation in the markdown of our repo.