How to do Contract Upgrades, Feb 2024 edition

[spalladino]

@mitch

Then we could explicitly check in the kernels if the enshrined manager is getting called that the encapsulating function was flagged.

This would work I believe, but I’d like to keep the same kernel logic for all calls for simplicity’s sake if we can.