#8: Analyze states and invalid transitions

[moshez]

For now this is completely broken, but this is starting to refactor makeDigraph into a more general "transitions" stream which should power more flexible analysis tools without making it too easy to introspect machines in-code directly.

[codecov-commenter]

Codecov Report

❌ Patch coverage is 0% with 33 lines in your changes missing coverage. Please review.
✅ Project coverage is 64.51%. Comparing base (4260ebb) to head (bc46e6e).
⚠️ Report is 282 commits behind head on trunk.

Files with missing lines	Patch %	Lines
automat/_visualize.py	0.00%	33 Missing ⚠️

❗ There is a different number of reports uploaded between BASE (4260ebb) and HEAD (bc46e6e). Click for more details.

HEAD has 1 upload less than BASE

Flag	BASE (4260ebb)	HEAD (bc46e6e)
	2	1

Additional details and impacted files

@@             Coverage Diff             @@
##            trunk     #134       +/-   ##
===========================================
- Coverage   91.83%   64.51%   -27.32%     
===========================================
  Files          11       11               
  Lines        1261     1285       +24     
===========================================
- Hits         1158      829      -329     
- Misses        103      456      +353     

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

🚀 New features to boost your workflow:

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