Interop: Do dependency set check offchain

[tynes]

We have decided to move more code offchain rather than having it onchain. The new design involves putting the dependency set check and the start time check in the fork choice rule, block builder and proof rather than onchain. It is the responsibility of the block builder to not include blocks that include transactions that are invalid per these rules, otherwise the block will be reorg'd out and replaced with a deposits only block.

#13626 deletes the following code:

    function _checkIdentifier(Identifier calldata _id) internal view {
        if (_id.timestamp > block.timestamp || _id.timestamp <= interopStart()) revert InvalidTimestamp();
        if (!IDependencySet(Predeploys.L1_BLOCK_ATTRIBUTES).isInDependencySet(_id.chainId)) {
            revert InvalidChainId();
        }
    }

[protolambda]

Smart-contract side is done.
Opened an issue to track the op-supervisor side of this: #13732