i found the same thing with Rust, verification steps are really helpful for speed and correctnesss