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.
RE: 3 hours and still I´m not sure about TEZOS ICO