[Certora] Spec for balance and lossIndex#534

jhoenicke wants to merge 12 commits into

mainmorpho-org/midnight:mainfrom

jochen/balanceIndexmorpho-org/midnight:jochen/balanceIndexCopy head branch name to clipboard