Add support for default cases in quint match expressions

[shonfeder]

This is a followup to #2783, which omitted support for the "wildcard",
default match case in match expressions.

I found this problem when checking the Paxos spec in the quint repo. In
addition to the unit test added here, I've verified that this solves the problem
on a few quint specs locally. Integration tests confirming this will be
forthcoming in the quint repo.

---

• Tests added for any new code
• Ran make fmt-fix (or had formatting run automatically on all files edited)
• Documentation added for any new functionality
• Entries added to ./unreleased/ for any new functionality

[codecov-commenter]

Codecov Report

Attention: 1 lines in your changes are missing coverage. Please review.

Comparison is base (30fe7d4) 78.86% compared to head (d906595) 78.84%.

❗ Current head d906595 differs from pull request most recent head 0bca067. Consider uploading reports for the commit 0bca067 to get more accurate results

Files	Patch %	Lines
...ain/scala/at/forsyte/apalache/io/quint/Quint.scala	75.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2792      +/-   ##
==========================================
- Coverage   78.86%   78.84%   -0.02%     
==========================================
  Files         466      466              
  Lines       15921    15923       +2     
  Branches     2592     2557      -35     
==========================================
- Hits        12556    12555       -1     
- Misses       3365     3368       +3     

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

[bugarela]

LGTM!