add validation of dynamic_offset

[Septa2112]

In Fast-Interpreter mode, wasm_loader_pop_frame_offset does not validate dynamic_offset before performing calculations. This can lead to an potential unsigned integer underflow in certain cases, for example when cell_num_to_pop exceeds dynamic_offset:

wasm-micro-runtime/core/iwasm/interpreter/wasm_loader.c

Line 9869 in cbb6d03

ctx->dynamic_offset -= cell_num_to_pop;

This patch adds a validation step for dynamic_offset to prevent such cases and improve code robustness.

[kylo5aby]

should also update mini loader part

[lum1n0us]

This issue concerns an unsigned integer underflow, such as (3-4), which is captured by the sanitizer. If there is no sanitizer, a subsequent checker will detect it and report an exception. Therefore, the malformed Wasm won't cause any problems during the instantiation and execution phases.

And according to Clang's Undefined Behavior Sanitizer documentation, including unsigned integer underflow in sanitizer options is more like asking the developer if this is intentional.