At first you idea to replace EVM seemed to me very ambitios, cause it rises the cost of porting dapps from ETH, but then I imagined how would the platforms comparison look like:
Classic
Language: Java
Execution expenses: 1/10 ETH
ETH
Language: Solidity, Serpent... WTF!? Javascript? OMG! No way.
Execution expenses: 10x ETC
Classic wins and ETH looks like a hackers club for enthusiasts. Java has many tools for writing code, there are many experienced developers and also it is widely used in fintech and banks. I don't comment on ADA, cause know nothing.
Yes your last remark is exactly what it's all about.
I think the cost of porting existing Dapps code to an other language/environment is extremlly cheaper than the one of continuing to work with a non-mastered environment (EVM + Solidity or whatever language), because the cost of building new tools for Formal Verification for example is tremendous. So why don't we leverage existing language/environment/tools that have been enhanced and lasting for decades now.
I started learning Ada with my first programming courses (it's a Object-Oriented and mainely used in Safety & Security critical programs (was used in the ExoMars space mission :) ))