A Tour of Safe Tracing GC Designs in Rust – In Pursuit of Laziness