[release] 0.42.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.42.1 - 2023-09-18

Features

• • Revise the ITF format: Use only { "#bigint": "num" }, even for small integers`

[codecov-commenter]

Codecov Report

Merging #2735 (2b67170) into main (a487206) will increase coverage by 0.03%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2735      +/-   ##
==========================================
+ Coverage   78.85%   78.88%   +0.03%     
==========================================
  Files         463      463              
  Lines       15866    15866              
  Branches     2577     2568       -9     
==========================================
+ Hits        12511    12516       +5     
+ Misses       3355     3350       -5     

see 4 files with indirect coverage changes

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

[shonfeder]

Needs minor version bump.