Text this: A Physical Design verification framework for superconducting electronics