Add Merkle tree verification

Rasmus Dahlbergrequested to merge
merkle into main

This MR adds Merkle tree verification algorithms based on RFC 9162 and compact ranges. Detailed documentation and test-cases are included.

Merge request reports