Update README.md for newly added assertions