Update Z3

[hermanventer]

Description

Update Z3 binaries to see if they work when used in actions.

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• API change with a documentation update
• Additional test coverage
• Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

By doing this PR.

[codecov]

Codecov Report

Merging #1138 (8c7967e) into main (4fe7492) will increase coverage by 0%.
The diff coverage is 74%.

@@          Coverage Diff          @@
##            main   #1138   +/-   ##
=====================================
  Coverage     77%     78%           
=====================================
  Files         23      23           
  Lines      16086   16051   -35     
=====================================
+ Hits       12499   12523   +24     
+ Misses      3587    3528   -59     

Impacted Files	Coverage Δ
checker/src/constant_domain.rs	58% <ø> (+<1%)	⬆️
checker/src/crate_visitor.rs	74% <44%> (+<1%)	⬆️
checker/src/call_visitor.rs	81% <61%> (+<1%)	⬆️
checker/src/block_visitor.rs	81% <65%> (+2%)	⬆️
checker/src/options.rs	78% <74%> (+<1%)	⬆️
checker/src/body_visitor.rs	88% <78%> (-1%)	⬇️
checker/src/type_visitor.rs	74% <85%> (-1%)	⬇️
checker/src/utils.rs	86% <100%> (+<1%)	⬆️
checker/src/interval_domain.rs	82% <0%> (-3%)	⬇️
... and 7 more

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more