Bump z3 from 0.20.2 to 0.21.0 - #3909

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 3 configurations present on refs/heads/main were not found:

Default setup

• ❓  /language:actions
• ❓  /language:c-cpp
• ❓  /language:python

View all branch alerts.