Update README.md

Added Feature and Invariants sections