Update Protocol.md to describe Contract generation