Text this: RSFQ digital circuit design automation and optimisation