feat: Add support for the DAVerifier

[rach-id]

Overview

Closes #133

Depends on: #137 to be able to create the wrappers

Checklist

• New and updated code has appropriate documentation
• New and updated code has new and/or updated testing
• Required CI checks are passing
• Visual proof for any user facing features like CLI or documentation updates
• Linked issues closed with keywords

[rach-id]

@adlerjohn Does it make sense to revive this PR?
It provides a way to verify that shares were committed to in the QGB smart contract. It requires sending the data, which is not the mechanism we will use to prove inclusion for rollups, but I guess it might be good to also have the ability to verify the proofs generated inside the app in here

[rach-id]

@adlerjohn @evan-forbes As part of the fraud proof mechanism that will be used, we will need to have this DAVerifier wrapper around the NMT and binary merkle tree proofs to verify the inclusion proofs correctly.
Thus, we can revive this PR again.

[adlerjohn]

Can this be done programmatically instead of hard-coding? E.g. by looping over CONTRACTS.

[rach-id]

We could definitely do that, but I am inclined towards having the makefile also format the sol files in that step, and check for the diff on the whole repo.

This way we would be able to also check if the sol files are not well formatted and ask the contributor to format them.

What do you think about doing this in a subsequent PR?

[adlerjohn]

Yeah sure, follow-up PR is fine