[Certora] prove supply/withdraw loses at most 1 asset when share price <= 1 - #788

[Certora] prove supply/withdraw loses at most 1 asset when share price <= 1#788

claude[bot] wants to merge 10 commits into

mainmorpho-org/morpho-blue:mainfrom

claude/certora-supply-loss-bound-price-below-onemorpho-org/morpho-blue:claude/certora-supply-loss-bound-price-below-oneCopy head branch name to clipboard