Text this: Simulation and verifcation software for superconducting electronic Circuits