Clarity-wasm: fix for clarity-wasm issue 700

[Acaccia]

This is the stacks-core part of the fix for stacks-network/clarity-wasm#700 .

The bug was due to an oversimplification in the retrieving of the contract containing the defined trait in the case of a dynamic call.
Now, instead of just using the trait name and looking for its definition in the pulled contract containing the function, we deserialize a full TraitIdentifier and (if needed) fetch the contract which defines the trait.

This fix also needs a clarity-wasm counterpart, which makes a few changes in the compiler, the same change in the runtime (due to the duplication issue) and has the testing for this change.

[CLAassistant]

All committers have signed the CLA.

[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.}

[csgui]

Code LGTM.

[BowTiedWoo]

LGTM

[codecov]

Codecov Report

❌ Patch coverage is 0% with 43 lines in your changes missing coverage. Please review.
✅ Project coverage is 21.18%. Comparing base (70041d3) to head (2c59e26).
⚠️ Report is 3 commits behind head on feat/clarity-wasm-develop.

Files with missing lines	Patch %	Lines
clarity/src/vm/clarity_wasm.rs	0.00%	43 Missing ⚠️

❌ Your project status has failed because the head coverage (21.18%) is below the target coverage (80.00%). You can increase the head coverage or adjust the target coverage.

Additional details and impacted files

@@                      Coverage Diff                      @@
##           feat/clarity-wasm-develop    #6345      +/-   ##
=============================================================
- Coverage                      21.34%   21.18%   -0.17%     
=============================================================
  Files                            526      521       -5     
  Lines                         339891   338650    -1241     
  Branches                         323        0     -323     
=============================================================
- Hits                           72563    71735     -828     
+ Misses                        267320   266915     -405     
+ Partials                           8        0       -8     

Files with missing lines	Coverage Δ
clarity/src/vm/clarity_wasm.rs	33.40% <0.00%> (-0.14%)	⬇️

... and 30 files with indirect coverage changes

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 5295a70...2c59e26. Read the comment docs.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.