Explain CheckerVisitor to assist with debugging

[jonnadal]

is it possible to enumerate all the paths explored after the checker finishes? Or even better, have a stream of paths being returned by the model (where a path enters the stream as soon as it completes)?

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