Broken link and small typo in README #55
Description
Broken Link: The link to Verified Quantum Computing (http://www.cs.umd.edu/~rrand/vqc/index.html) in the first paragraph appears to be broken, maybe could be updated to https://rand.cs.uchicago.edu/vqc/index.html?
Typo: Under "Using With Other Projects" the url htts://github.com/inQWIRE/SQIR.git is missing the "p" in https
Wonderful work by the way, it's been a pleasure reading through all the papers/code!