Transition_chain_verifier
val verify : target_hash:Mina_base.State_hash.t -> transition_chain_proof: (Mina_base.State_hash.t * Mina_base.State_body_hash.t list) -> Mina_base.State_hash.t Mina_stdlib.Nonempty_list.t option