Close the model at the end, to make sure that types are flushed

wrappers/modelverse.py

@@ -1014,3 +1014,9 @@ def model_types(model_name):
     _input(["model_types", model_name])
     output = _handle_output("Success: ", split=True)
     return set(output)
+
+import atexit
+def _close_model():
+    if mode == MODE_MODIFY:
+        _model_exit()
+atexit.register(_close_model)