Allows programs to update to a new libovni library without breaking the instrumentation. Only until the first call to ovni_thread_require() the models are enabled on demand.