Added proof verification functions to CMT and IMT

[RuslanProgrammer]

• Since this PR suggests a bug fix, the tests have been added and the coverage is 100%.
• Since this PR introduces a new feature, the update has been discussed in an Issue or with the team.
• This PR is just a minor change, like a typo fix.

---

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.94%. Comparing base (7398feb) to head (315792a).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #158   +/-   ##
=======================================
  Coverage   99.94%   99.94%           
=======================================
  Files          50       50           
  Lines        3509     3550   +41     
  Branches      405      411    +6     
=======================================
+ Hits         3507     3548   +41     
  Misses          2        2           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 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.

[Arvolear]

LGTM!