[Certora] remove `extSloads` munging#458

QGarchery merged 1 commit intocertora/devmorpho-org/morpho-blue:certora/devfrom

certora/remove-sload-mungingmorpho-org/morpho-blue:certora/remove-sload-mungingCopy head branch name to clipboard