feat(vault): add Kani harnesses for transfer correctness + fix compile errors (#490)#523

greatest0fallt1me merged 2 commits into

CalloraOrg:mainCalloraOrg/Callora-Contracts:mainfrom

ZuLu0890:feature/kani-vault-transfer-harnessZuLu0890/Callora-Contracts:feature/kani-vault-transfer-harnessCopy head branch name to clipboard