IAVL proof validation