chore(contracts): add contract docs, deployment & verification scripts, and formal verification helpers#911

Devsol-01 merged 1 commit into

Devsol-01:mainDevsol-01/Nestera:mainfrom

OtowoSamuel:feature/contracts-ops-docsOtowoSamuel/Nestera:feature/contracts-ops-docsCopy head branch name to clipboard