feat: add new check for strict pragma

[smartcontracts]

Adds a new check in the contracts package that confirms that all source contracts are using a strict pragma instead of a dynamic one.

[Inphi]

tubular!

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 75.22%. Comparing base (170c621) to head (aac2c75).
⚠️ Report is 8 commits behind head on develop.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop   #18390      +/-   ##
===========================================
- Coverage    75.60%   75.22%   -0.38%     
===========================================
  Files          187      187              
  Lines        11199    11199              
===========================================
- Hits          8467     8425      -42     
- Misses        2586     2630      +44     
+ Partials       146      144       -2     

Flag	Coverage Δ
cannon-go-tests-64	66.58% <ø> (-0.82%)	⬇️
contracts-bedrock-tests	80.09% <ø> (-0.13%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.
see 7 files with indirect coverage changes

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