feat: go-based advanced testing for contracts

[moul]

Introduces advanced testing capabilities for contracts in Go, providing full VM control and support for complex patterns like multi-transaction testing.

Edit: will finish #1016, and refactor.

Depends on #1016

Checklists...

Contributors Checklist

• Added new tests, or not needed, or not feasible
• Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
• Updated the official documentation or not needed
• No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
• Added references to related issues and PRs
• Provided any useful hints for running manual tests
• Added new benchmarks to generated graphs, if any. More info here.

Maintainers Checklist

• Checked that the author followed the guidelines in CONTRIBUTING.md
• Checked the conventional-commit (especially PR title and verb, presence of BREAKING CHANGE: in the body)
• Ensured that this PR is not a significant change or confirmed that the review/consideration process was appropriate for the change

[moul]

Can be replaced by #1117

[thehowl]

(has been replaced by #1117)