Function iavl_spec

pub fn iavl_spec() -> ProofSpec