[Certora] Net credit after pending fee stays constant#988

jhoenicke wants to merge 11 commits into

mainmorpho-org/midnight:mainfrom

certora-credit-nondecreasingmorpho-org/midnight:certora-credit-nondecreasingCopy head branch name to clipboard