Update the readme inline with review suggestions by doing: - Copy 'long story short' text from blog post - Correct the erroneous description of watching blockchains - Fix gramar
Add a readme that describes the project. Specifically - module structure - what we prove and do not prove - how we test