I don’t think this is a good argument, given that there are manifestly successful languages that don’t have a formal specification. Python comes to mind.

(Plus, architecture quantity isn’t exactly the thing that matters. Quality is what matters, and Rust’s decision to conservatively stabilize on the subset of LLVM backends they can reliably test on seems very reasonable to me.)