"Ergo Contracts", a repository of the Ergo smart contracts with compilation, testing, and formal verification tooling