I've read that Vitalik says the "formal verification" is only a problem with like 10% of ETH smart contracts. The rest is unintended consequences, and Tezos' idea doesn't solve that.

Tezos also seems to have no scaling plan that I can find. Scaling is the problem, not smart contract validation.

I'm also concerned about it being uncapped.