Document Procedure Verification

[Latrasis]

For Daohub-io/beaker-cli#17, we need to document in detail how we do post-deployment procedure verification.

We can put this either in the Procedure Creation section or OCCV section in the whitepaper.