Add a verify function to ocaml-merlin