Explain how to "manually" browse in Explorer

[jonnadal]

Debugging the cases where the model checker does not find a counterexample (even though I was thinking it should) is difficult.

https://discord.com/channels/781357978652901386/781357978652901389/812683180707807272

[jonnadal]

Also explain the relationship between Explorer and visualizations:

Stateright Explorer is the web app that lists discoveries and lets you navigate manually as well, while the visualizer is a feature that you can opt-into by implementing as_svg.

https://discord.com/channels/781357978652901386/781357978652901389/812760140142346270