feat: SNARK over inclusion and non-inclusion proofs from last Celestia block

Once we are a based rollup, the prover needs to add to the SNARK that:
1. If there were no operations in the last celestia block, the non-inclusion proof is valid
2. If there were operations, we ran all operations

Point two is a bit tricky because we need to figure out how to prove that an invalid operation can be thrown out
Point one will be a bit simpler because sovlabs wrote the NMT in rust and we can throw that into a zkVM