Construct fresh model values

[thpani]

Construct fresh values when decoding a cell not in the model-value cache.

Fixes #2690

• 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

Merging #2697 (72913cb) into main (b989958) will decrease coverage by 0.04%.
The diff coverage is 22.22%.

❗ Current head 72913cb differs from pull request most recent head 5089837. Consider uploading reports for the commit 5089837 to get more accurate results

@@            Coverage Diff             @@
##             main    #2697      +/-   ##
==========================================
- Coverage   78.52%   78.49%   -0.04%     
==========================================
  Files         460      460              
  Lines       15880    15879       -1     
  Branches     2566     2594      +28     
==========================================
- Hits        12470    12464       -6     
- Misses       3410     3415       +5     

Files Changed	Coverage Δ
.../forsyte/apalache/tla/bmcmt/SymbStateDecoder.scala	78.22% <22.22%> (-0.98%)	⬇️

... and 2 files with indirect coverage changes

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

[Kukovec]

LGTM, comment is nonblocking.