Update README.md

* preprint for Consistency Analysis of Decision-Making Programs
* preprint for Symbolic Optimization with SMT Solvers
* arxiv paper for Applying quantitative semantics to higher-order quantum computing
* preprint for CakeML: A Verified Implementation of ML
* preprint for A Constraint-Based Approach to Solving Games on Infinite Graphs