Benchmark different verification methods for range inclusion in header chain

[eyusufatik]

Assume there is a merkle tree of Bitcoin block hashes.

I want to verify [h0, h1] is in this header chain.

Which method is more efficient in risc0:

Option 1

1. Verify MMR proof for h1.
2. Take headers as input from h1 to h0, check hn.prev_hash == hn-1.hash

Option 2

1. Verify MMR range inclusion proof.

We need benchmarks for different length of headers and different length of ranges to verify.