[release] 0.45.7

[coffeeinprogress]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

0.45.7 - 2024-09-24

Features

• Periodically print Z3 statistics when --debug is on (Periodically print Z3 statistics #2992)
• Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (Propagate z3 parameters in the tuning options #2990)

[konnov]

Perhaps, we should bump the minor version, since the configuration options may break something