If you're looking for a memory-safe language today or in the next couple of years, I don't think anybody will ditch Rust for Verona.