[release] 0.41.4

[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.41.4 - 2023-08-21

Breaking changes

• Update Quint deserialization for compatibility with version > 0.13.0, see Update quint deserialization #2696

Bug fixes

• Fix a bug with decoding unconstrained model values of uninterpreted types.

[codecov-commenter]

Codecov Report

Merging #2701 (1edaa49) into main (c2460fe) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2701   +/-   ##
=======================================
  Coverage   78.50%   78.50%           
=======================================
  Files         460      460           
  Lines       15879    15879           
  Branches     2594     2594           
=======================================
  Hits        12466    12466           
  Misses       3413     3413           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[thpani]

Closing, because we have to coordinate this release with informalsystems/quint#1099 and possibly informalsystems/quint#1100, otherwise we'd introduce Quint CI failures.

cc @bugarela

[bugarela]

I think both PRs are ready to merge, so we can cut a release here and unblock the merge on the Quint side. Can you help me do that?