report an error when --max-error > 1 and no --view is provided

[konnov]

Closes #1004. Closes #2139. This is the simplest fix to the problem that occurred several times. Since a default view (equal to the whole state) would slow down the search beyond reasonable, we simply tell the user to find a good view, when --max-error > 1.

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

[codecov-commenter]

Codecov Report

Merging #2144 (2ae33ca) into main (970ab4d) will decrease coverage by 0.00%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##             main    #2144      +/-   ##
==========================================
- Coverage   77.14%   77.13%   -0.01%     
==========================================
  Files         423      423              
  Lines       13845    13848       +3     
  Branches     1879     1884       +5     
==========================================
+ Hits        10681    10682       +1     
- Misses       3164     3166       +2     

Impacted Files	Coverage Δ
...ala/at/forsyte/apalache/infra/passes/options.scala	0.00% <0.00%> (ø)
...at/forsyte/apalache/tla/tooling/opt/CheckCmd.scala	0.00% <0.00%> (ø)
.../forsyte/apalache/tla/pp/ConstSimplifierBase.scala	97.70% <0.00%> (+1.14%)	⬆️

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