monitor: Avoid fetching one inclusion proof per downloaded entry

Instead of fetching one inclusion proof per entry, fetch one inclusion proof per batch (or build the Merkle tree by only storing the minimal amounts of (sub)tree nodes needed).

Some ideas for this documented here: https://gitlab.torproject.org/rgdd/ct/-/blob/main/doc/tlog-algorithms.md#compact-range-extension