refactor(proof): changing the compressed merkle tree

Making the CompressedMerkleTree a specialization
of the Tree generic type.

Author: danielpapp-trilitech

Cargo.lock

@@ -13,3 +13,7 @@ blake3.workspace = true
 derive_more.workspace = true
 hex.workspace = true
 thiserror.workspace = true
+
+[dev-dependencies]
+proptest.workspace = true
+rand.workspace = true