Fix workflow permissions for formal verification & windows

[skmcgrail]

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license and the ISC license.

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 78.23%. Comparing base (da3f27c) to head (25da925).
⚠️ Report is 3 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2831      +/-   ##
==========================================
- Coverage   78.24%   78.23%   -0.02%     
==========================================
  Files         683      683              
  Lines      117186   117186              
  Branches    16477    16475       -2     
==========================================
- Hits        91688    91675      -13     
- Misses      24613    24626      +13     
  Partials      885      885              

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