Figure out how to optionally pass DA related data when the L2 block needs it for full node

[eyusufatik]

For the system transaction BitcoinLightClient::setBlockInfo, we'll need to inspect it and make sure the fields are set to the values that come from the full node, a.k.a. ShortFormProofDaInfo from #1772. But this should be passed only when there is such a system transaction.

I don't want to have the full node or the batch proof circuit inspect evm txs everytime they run an L2 block, so there must be some mechanism that we can create inside the StfBlueprint so that we can ask for the ShortFormProofDaInfo .