Merkle proof verifier. Verify a merkle proof (sorted-pair/OpenZeppelin style): leaf + proof path + root, true or false.