Inspect code mutations and verify storage layout safety before executing upgradeable proxy transactions.