[release] 0.41.0

[thpani]

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.0 - 2023-07-20

Breaking changes

• Fixed deserialization of large Quint integer values, see Deserialize QuintInt.value as BigInt #2654

[codecov-commenter]

Codecov Report

Merging #2657 (7fb73e1) into main (fee49ef) will decrease coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2657      +/-   ##
==========================================
- Coverage   78.55%   78.54%   -0.01%     
==========================================
  Files         455      455              
  Lines       15795    15795              
  Branches     2573     2587      +14     
==========================================
- Hits        12407    12406       -1     
- Misses       3388     3389       +1     

see 3 files with indirect coverage changes

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