Update z3

[shonfeder]

Closes #1702, closes #1660, closes #751

[codecov-commenter]

Codecov Report

Merging #1718 (b9eb6c2) into unstable (120195a) will increase coverage by 0.01%.
The diff coverage is n/a.

@@             Coverage Diff              @@
##           unstable    #1718      +/-   ##
============================================
+ Coverage     76.04%   76.06%   +0.01%     
============================================
  Files           353      353              
  Lines         11323    11323              
  Branches        563      563              
============================================
+ Hits           8611     8613       +2     
+ Misses         2712     2710       -2     

Impacted Files	Coverage Δ
...he/io/annotations/parser/CommentPreprocessor.scala	96.70% <0.00%> (+1.09%)	⬆️
.../forsyte/apalache/tla/pp/ConstSimplifierBase.scala	97.64% <0.00%> (+1.17%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 120195a...b9eb6c2. Read the comment docs.

[thpani]

Also closes #1660, and it comes with aarch64 support which closes #751.
Updated the original PR comment.