test: first set of consensus tests for CheckErrorKind during contract analysis

[francesco-stacks]

Description

First of 7 PRs that will supersede #6661

Applicable issues

• fixes part of AAC Testing: Add test coverage for CheckError (static - at contract deploy) #6694

Additional info (benefits, drawbacks, caveats)

Checklist

• Test coverage for new or modified code paths
• Changelog is updated
• Required documentation changes (e.g., docs/rpc/openapi.yaml and rpc-endpoints.md for v2 endpoints, event-dispatcher.md for new events)
• New clarity functions have corresponding PR in clarity-benchmarking repo

[codecov]

Codecov Report

❌ Patch coverage is 77.64706% with 19 lines in your changes missing coverage. Please review.
✅ Project coverage is 71.66%. Comparing base (1186a4c) to head (66772cf).
⚠️ Report is 11 commits behind head on develop.

Files with missing lines	Patch %	Lines
...slib/src/chainstate/tests/static_analysis_tests.rs	77.64%	19 Missing ⚠️

❌ Your project status has failed because the head coverage (71.66%) 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              @@
##           develop    #6686       +/-   ##
============================================
+ Coverage    57.11%   71.66%   +14.55%     
============================================
  Files          576      577        +1     
  Lines       356840   356925       +85     
============================================
+ Hits        203803   255799    +51996     
+ Misses      153037   101126    -51911     

Files with missing lines	Coverage Δ
stackslib/src/chainstate/tests/mod.rs	75.48% <ø> (+9.84%)	⬆️
...slib/src/chainstate/tests/static_analysis_tests.rs	77.64% <77.64%> (ø)

... and 424 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 1186a4c...66772cf. 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.

[github-actions]

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.