Proof for key that is overwritten twice is incorrect

[hu55a1n1]

Hi,
I just noticed that proofs for keys that are overwritten twice are incorrect and fail to verify using verify_membership().
Here's a failing test ->

fn key_overwrite() {
    let mut tree = AvlTree::new();
    tree.insert("K", [1]);
    tree.insert("K", [0]);
    tree.insert("K", [2]);

    assert!(check_integrity(&tree.root));

    let root = tree
        .root_hash()
        .expect("Unable to retrieve root hash")
        .as_bytes()
        .to_vec();
    let proof = tree
        .get_proof("K")
        .expect("Unable to retrieve a proof for 'K'");
    let spec = get_proof_spec();
    assert!(verify_membership(
        &proof,
        &spec,
        &root,
        "K".as_bytes(),
        &[0]
    ));
}

[CharlyCst]

The test is indeed failing but that is because the expected value must be passed as the last argument of verify_membership, in this case "K" has the value 2 but you passed 0, the assertion should be:

    assert!(verify_membership(
        &proof,
        &spec,
        &root,
        "K".as_bytes(),
        &[2]
    ));

And this test does pass, so that's not an issue with the proof or AVL implementation.