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

[francesco-stacks]

Description

Fifth 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

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 75.18%. Comparing base (76936b5) to head (3002fc4).
⚠️ Report is 3 commits behind head on develop.

❌ Your project status has failed because the head coverage (75.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             @@
##           develop    #6715      +/-   ##
===========================================
+ Coverage    75.01%   75.18%   +0.16%     
===========================================
  Files          577      577              
  Lines       357690   357795     +105     
===========================================
+ Hits        268313   268994     +681     
+ Misses       89377    88801     -576     

Files with missing lines	Coverage Δ
...slib/src/chainstate/tests/static_analysis_tests.rs	84.10% <100.00%> (-1.36%)	⬇️

... and 314 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 76936b5...3002fc4. 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.