experimental: transaction ordering policy

[tynes]

Description

Explore what applying a predicate to the inputs as part of the derivation pipeline would look like. The predicate is defined using evm bytecode and can therefore be quite flexible based on the chain operator's needs. The payload is dropped if the predicate returns false.

The chain operator can configure the predicate's bytecode on L1 using the system config contract.

In practice, this allows for static analysis of the ExecutionPayload before execution. If some chain operator defined invariant about the ExecutionPayload isn't held to be true, then the payload is dropped. This can be used to enforce constraints on the way that block builders can build blocks.