Interop: Use L1 to limit L2 View for processing

[axelKingsley]

In the supervisor today, views attempt to progress themselves by checking executing message validity:

optimism/op-supervisor/supervisor/backend/safety/views.go

Line 48 in c5af298

func (vi *View) Process() error {

However, when using the L2 view, we must also make sure that any references to other chains are constrained by the same L1 view. This is because a chain may have advanced its database using new L1 blocks which are not in scope of other chains. We can't use inconsistent L1 views, or else the supervisor is inaccurate to L1 derivation (and therefore not Fault Provable)