Implement as contract? and Allowances

[bogdan-stacks]

This PR is related to the code duplication on clarity-wasm and changes to public necessary crates.

Related issues: stx-labs/clarity-wasm#764, stx-labs/clarity-wasm#768, stx-labs/clarity-wasm#769, stx-labs/clarity-wasm#770, stx-labs/clarity-wasm#771, stx-labs/clarity-wasm#772.

[codecov]

Codecov Report

❌ Patch coverage is 0% with 435 lines in your changes missing coverage. Please review.
✅ Project coverage is 5.09%. Comparing base (7d092de) to head (da1dbfd).

Files with missing lines	Patch %	Lines
clarity/src/vm/clarity_wasm.rs	0.00%	433 Missing ⚠️
clarity-types/src/errors/mod.rs	0.00%	2 Missing ⚠️

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

❗ There is a different number of reports uploaded between BASE (7d092de) and HEAD (da1dbfd). Click for more details.

HEAD has 53 uploads less than BASE

Flag	BASE (7d092de)	HEAD (da1dbfd)
	99	46

Additional details and impacted files

@@                      Coverage Diff                       @@
##           feat/clarity-wasm-develop    #6963       +/-   ##
==============================================================
- Coverage                      28.25%    5.09%   -23.17%     
==============================================================
  Files                            572      399      -173     
  Lines                         353459   220187   -133272     
==============================================================
- Hits                           99887    11213    -88674     
+ Misses                        253572   208974    -44598     

Files with missing lines	Coverage Δ
...y/src/vm/analysis/type_checker/v2_1/natives/mod.rs	0.00% <ø> (-49.62%)	⬇️
clarity/src/vm/functions/mod.rs	0.00% <ø> (-21.51%)	⬇️
clarity/src/vm/functions/post_conditions.rs	0.00% <ø> (ø)
clarity-types/src/errors/mod.rs	0.00% <0.00%> (-8.04%)	⬇️
clarity/src/vm/clarity_wasm.rs	0.00% <0.00%> (-37.58%)	⬇️

... and 500 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 7d092de...da1dbfd. 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.