feat(stealth-registry): add Kani formal verification for top 3 invariants (#108)#146

Michvista wants to merge 2 commits into

wraith-protocol:developwraith-protocol/contracts:developfrom

Michvista:feat/kani-stealth-registry-invariantsMichvista/contracts:feat/kani-stealth-registry-invariantsCopy head branch name to clipboard