Migrated "0store verify" and "0store find" to OCaml