Implement Wasm Validation: Type-Check a Module Before Execution

Write a C program that validates a simple Wasm function body by checking type consistency on the value stack.

Requirements:

• Define a simple instruction sequence representing a Wasm function body
• Track the operand stack height and types during validation
• Verify that i32.add has two i32 values available
• Verify that local.get references a valid local index
• Verify that the final stack matches the function's return type
• Report validation errors with descriptive messages
• Print the validation result
• Include the terms: validation, type check, stack, module