pub fn iavl_spec() -> ProofSpec