updated rust modelchecking benchmarks

benchmarks/model_checking/Rust/CAN_BUS_tlc.rs

...ks/model_checking/Rust/Cruise_finite1_deterministic_MC.rs

benchmarks/model_checking/Rust/LandingGear_R6.rs

benchmarks/model_checking/Rust/Lift_MC_Large.rs

benchmarks/model_checking/Rust/Train1_Lukas_POR_v3.rs

..._checking/Rust/Train_1_beebook_deterministic_MC_POR_v2.rs

benchmarks/model_checking/Rust/nota_v2.rs