Contract deploy, verify

Assert block commitment

Update protocol.md

review

Merge branch 'dev' into breaking

Changelog, upgrade params

Merge pull request #761 from matter-labs/dvush/seal-withdraw-block-fa…

…ster

Dvush/seal withdraw block faster

Merge pull request #761 from matter-labs/dvush/seal-withdraw-block-fa…

…ster

Dvush/seal withdraw block faster

Merge pull request #761 from matter-labs/dvush/seal-withdraw-block-fa…

…ster

Dvush/seal withdraw block faster

Merge pull request #728 from matter-labs/hotfix_provername

hotfix-prover-name