Meta Garbage Collection: Using OCaml's GC to GC Rust

I discovered that tracking Rust's Tree Borrows aliasing model in Soteria was causing quadratic slowdowns due to unoptimized code. By leveraging OCaml's garbage collector to manage the state of these trees, I reduced the complexity to linear time. This simple change of about 40 lines delivered a 10x speedup, proving that delegating memory management can solve complex performance bottlenecks.