iSMC: A BDD-based Symbolic Model Checker with Interactive Certification (ArXiv cs.LO Recent Papers, 2026)