right now we don't do anything about chunked bitcoin transactions.

a solution for verifying batch proofs that were sent to DA in a chunk-aggregator set up would look like this:

1 - To LightClientCircuitOutput we add a HashMap of wtxid => data.
2 - In the circuit, whenever we see a chunk, we push to this HashMap.
3 - Since the HashMap acts as a light client state now, when we encounter an aggregator we search the map for the chunks. If we cant find any of them we discard the aggregator. (if the aggregator somehow lands on Bitcoin before the chunks, we can send the aggregator again)
4- If we have all the cunks, we concat verify and go on with our normal light client execution.

Further optimizations can be done regarding the size of this newly added light client circuit state, such as instead of having a mapping of wtxid => data, we merkleize the chunks and once we know we'll need the chunks, we provide the circuit with the chunks + their merkle proof.