Enable calling procedures in contracts#1352

keyboardDrummer merged 146 commits into

strata-org:reviewed-kbd-will-merge-to-mainstrata-org/Strata:reviewed-kbd-will-merge-to-mainfrom

keyboardDrummer:issue-924-contract-and-proof-passkeyboardDrummer/Strata:issue-924-contract-and-proof-passCopy head branch name to clipboard