fix: encode static arrays and dynamic tuples in ABI

[TUPM96]

Fixes #1219

Summary

• classify ABI types as static or dynamic according to the Solidity ABI spec
• encode fixed-size arrays of static elements inline instead of as dynamic arrays
• encode and decode nested tuples with dynamic members through head offsets
• add regression coverage for uint[1] and nested dynamic tuples

Validation

• python -m black --check manticore/ethereum/abi.py tests/ethereum/test_general.py
• python -m compileall manticore/ethereum/abi.py tests/ethereum/test_general.py
• custom ABI regression script covering fixed arrays, dynamic tuples, dynamic arrays, fixed arrays with dynamic elements, and function-call encoding/decoding
• git diff --check

Full pytest could not be run on this Windows checkout because Manticore imports POSIX-only fcntl; WSL is present but lacks pip/ensurepip in this environment.

Payout details can be provided privately on acceptance.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[Copilot]

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

[disconnect3d]

See #2694 (comment)

Happy to review and maybe merge if u sign in CLA. Since lots of time has passed w/o it, I am closing it.