RIP Idea: L1 Blockhash Precompile

Something that application developers continue to ask for is the ability to provide a witness that unwraps arbitrary L1 state into L2. This could be accomplished via a precompile on L2 that returns an L1 blockhash given a blocknumber. Using a precompile for this would help to standardize this flow. Before verkle, the witness size would be pretty large which isn't ideal and also having to verify MPT proofs in EVM also isn't ideal. It isn't immediately obvious what the semantics of this precompile should be given that different rollups have different architectures and we want to be mindful of L2 state bloat. This is related to [EIP-2935](https://eips.ethereum.org/EIPS/eip-2935) which I believe is a dependency of Verkle. We would want to be future compatible with using Verkle to unwrap L1 state in L2, which the Verkle proof precompile will be helpful for if L2s also adopt it.