Did they consider using another VM for OCaml? (Like JVM, CLR, or perhaps even transpile to GoLang)?
A fascinating project currently in development is Caramel, a BEAM VM (Erlang) back-end to the OCaml compiler: https://github.com/AbstractMachinesLab/caramel
[1] http://caml.inria.fr/pub/ml-archives/caml-list/2001/02/57705... [2] https://fsharp.org/