Etherium should have launched with a language that wasn't a high-school-extra-cirricular-level in terms of construction and consideration.

Solidity doesn't have a problem with formal verification of programs. Check their bug tracker: you can't even trust the runtime to do what it claims to do. On several levels.