Support proving subtree roots

[rach-id]

Currently, the DAVerifier contract expects the data to also be passed to the contract to verify if the shares were published on Celestia. This is fine for optimistic celestiums that will post DA to Celestia and settle on an EVM chain. However, for users who just want to prove that their data is published to Celestia, it's better if they prove the subtree roots then recreate the commitments and be sure that their data is committed to, instead of having to send their whole data.

[rach-id]

Note: this would also need some implementation on the celestia-app or celestia-node side to be able to create these proofs