I understand the frustration but this is from Microsoft Research. There is a long way before they validate the concept (or not).
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.