Fix labelling of addresses in Setup.sol

[maurelian]

The address labelling in this section of the code is incorrect.

Specifically:

1. Proxy addresses are labelled twice, as both the proxy and the impl. The code should change as follows to correctly label the proxy and impl:

   optimismPortal = IOptimismPortal(deploy.mustGetAddress("OptimismPortalProxy"));
   
   ...
   
   - vm.label(address(optimismPortal), "OptimismPortal");
   + vm.label(address(optimismPortal), "OptimismPortalProxy");
   - vm.label(deploy.mustGetAddress("OptimismPortalProxy"), "OptimismPortalProxy");
   + vm.label(EIP1967Helper.getImplementation(address(optimismPortal)), "OptimismPortalImpl");

2. Check for missing addresses, ie. the AnchorStateRegistry is not labelled at all.

[ChineseHamberger]

I'll try this one. Thank you.

[UnionSummer09]

Nice

[anushkasomani]

is the issue fixed?

[maurelian]

This will be fixed by #13563.