[release] 0.44.3

[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.3 - 2024-01-22

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (ee9ee3a) 78.87% compared to head (a4b73bf) 78.87%.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2812   +/-   ##
=======================================
  Coverage   78.87%   78.87%           
=======================================
  Files         467      467           
  Lines       15930    15930           
  Branches     2553     2553           
=======================================
+ Hits        12564    12565    +1     
+ Misses       3366     3365    -1     

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