Compute and verify a sorted-pair Keccak-256 Merkle tree root from leaf and sibling hashes (OpenZeppelin MerkleProof format).