feat: use a partial SMT proof instead of a list of merkle proofs#1158

drahnr wants to merge 13 commits intonext0xMiden/miden-node:nextfrom

bernhard-617-batch-proof0xMiden/miden-node:bernhard-617-batch-proofCopy head branch name to clipboard