quint-connect: A model-based testing framework for Quint + Rust