[release] 0.44.1

[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.1 - 2023-11-27

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (b7cd23e) 78.83% compared to head (f302788) 78.84%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2784      +/-   ##
==========================================
+ Coverage   78.83%   78.84%   +0.01%     
==========================================
  Files         466      466              
  Lines       15904    15904              
  Branches     2567     2565       -2     
==========================================
+ Hits        12538    12540       +2     
+ Misses       3366     3364       -2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.