[release] 0.44.11

[apalache-bot]

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.44.11 - 2024-05-06

Features

• TLA+ modules produced by the Shai command TLA now include type annotations (Fixes for compilation to TLA+ #2891)

Bug fixes

• Fixed a problem where folds produced by the Shai command TLA had an invalid form and could not be parsed back (Fixes for compilation to TLA+ #2891)
• Fixed a problem where bindings from exists and forall operators where not properly sanitized before printing (Fixes for compilation to TLA+ #2891)
• Fixed a problem where translation from slice to replaceAt added an incorrect increment to the last argument (Fixes for compilation to TLA+ #2891)