Visualising CTL Witnesses and Counterexamples -- Extended Version (ArXiv cs.FL Recent Papers, 2026)