[release] 0.40.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.40.1 - 2023-06-02

Features

• Membership tests between records and type-defining sets in TypeOk operators are now simplified to TRUE. This uses static type information to reduce the costs of verifying specs containing checks of the form TypeOk == rec \in [name_1: S1, ..., name_n: Sn]. (See [FEATURE] Use types to simplify TypeOK #723)

Bug fixes

• Quint run declarations are now ignored, allow verification of quint specs including those definitions. (See Ignore Quint run declarations #2572)