[release] 0.46.2

[coffeeinprogress]

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.46.2 - 2024-10-02

Bug fixes

• Do not produce (distinct ...) for singletons, see produce true on distinct for less than 2 elements #3005
• Show note that expression is unsupported instead of reporting a counterexample claiming that e.g. {42} \in SUBSET Nat is false, see Uncaught TBuilderTypeException: Operator SET_ENUM cannot be applied to arguments #2690

[konnov]

let's release