Milestone 7: fixes and improvements for 9lives and Bozo tests

[bbyalcinkaya]

This PR includes several fixes and missing host function implementations required to run 9lives and Bozo tests for milestone 7.

Changes

• Fix argument type list parsing: Corrects parsing of ABI argument type lists when building fuzzing strategies, which previously caused mismatches for functions with composite or repeated argument types.
• Increase fuzzing deadline and Python recursion depth limit: Relaxes execution limits to better support more complex contracts, preventing premature timeouts and recursion errors during fuzzing.
• Disable #hasValidInitCode check: Disables a contract bytecode validation that is not applicable to the current Stylus contracts and was blocking valid test cases.
• Implement missing host functions:
  • msg_sender for accessing the caller address.
  • native_keccak256 for hash computations used in contract logic.
  • transient_load_bytes32 and transient_store_bytes32 for transient storage access.
  • exit_early for tracing.
  • math_mul_mod, math_div, math_mod, math_add_mod for U256 arithmetic.