I admit Rust is much harder to learn initially, but once learned properly, the amount of code in both languages is very similar (as long as we're not comparing one program calling out to a library and another one doing everything from scratch). Both can be very high level.
Here is a study where they've found Python to be not much less verbose than Java actually, despite Java being generally considered a verbose language:
https://blog.wolfram.com/2012/11/14/code-length-measured-in-...
> I seriously doubt Rust will be anywhere near as easy to reason about.
I find Rust easier to reason about because there are certain constraints on sharing mutable state forcing developers to keep to very simple data flows (complex data flows / dependencies are getting hard very quickly and the compiler will fight that a lot with you). Python has none of these, so reasoning about data structures that can be freely shared and mutated anywhere can be hard. Python needs a lot of self-discipline to not end up with unmaintainable code.