That was mostly a design decision and proving anything that contains unstructured control flow is much harder than you think. Compare it to ML's (Rust's, Swift's ...) pattern matching to understand why it's done this way.
"Use early return to save levels of indentation" is just completely and objectively wrong. Unstructured control flow requires much more advanced algorithms for analysis.
