Quint Deserves Rust

Why we're rewriting Quint's simulator in Rust for improved performance and more comprehensive testing.