update quint 0.29.0

[dnkolegov-ar]

Update quint

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 92.11%. Comparing base (9cb4716) to head (0bdbd87).
⚠️ Report is 3 commits behind head on main.

@@            Coverage Diff             @@
##             main    #1730      +/-   ##
==========================================
- Coverage   92.12%   92.11%   -0.01%     
==========================================
  Files         297      297              
  Lines       75710    75710              
==========================================
- Hits        69749    69744       -5     
- Misses       5961     5966       +5     

see 3 files with indirect coverage changes

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 983e3f5...0bdbd87. Read the comment docs.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.