Link onward from inside the app

Show the counterexample as a diagram, and ship minicheck 0.3.0

fix: ship the corrected checker; render UNDETERMINED as its own verdict

Clean up generated app imports; regenerate embedded index.html

Gradio Lite demo: run a model checker in the browser (client-side, Pyodide)