Cache Explorer uses OCaml to verify implementations

Also, fixed GTK 3 bug showing the report. Error was:

TypeError: GObject.__init__() takes exactly 0 arguments (1 given)