Make Merkle Proof Benchmarks.

[mariari]

Merkle Proofs are a common use case for ZKP languages. It would be great to have benchmarks comparing the speed with a Merkle inclusion proof

We can do this on a per backend basis, so we can slowly add one backend at a time.