feat: Add state output logic

[kberat-synnada]

Description

Closes #218.

Checklist:

• Tests that cover the code added.
• Corresponding changes documented.
• All tests passed.
• The code linted and styled (pre-commit run --all-files has passed).

[codecov]

Codecov Report

Attention: Patch coverage is 98.44560% with 3 lines in your changes missing coverage. Please review.

Project coverage is 88.73%. Comparing base (d506aae) to head (56c1dfb).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
mithril/framework/physical/model.py	97.36%	3 Missing ⚠️

@@            Coverage Diff             @@
##             main     #219      +/-   ##
==========================================
- Coverage   89.31%   88.73%   -0.59%     
==========================================
  Files          75       75              
  Lines       17203    17374     +171     
==========================================
+ Hits        15365    15416      +51     
- Misses       1838     1958     +120     

Files with missing lines	Coverage Δ
mithril/framework/common.py	96.68% <100.00%> (+0.01%)	⬆️
mithril/framework/logical/base.py	91.32% <100.00%> (+0.23%)	⬆️
mithril/models/models.py	90.43% <100.00%> (+0.29%)	⬆️
mithril/framework/physical/model.py	92.64% <97.36%> (+0.81%)	⬆️

... and 9 files with indirect coverage changes

🚀 New features to boost your workflow:

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