It will hardly prevent insider to steal (that's what's most "hacks" are about).

But I agree, Certik might have positive impact on smart contracts on being safe and undisputable.
Some of MIT and Yale professors (even if useless in real life) are good at analytics and they have access to powerful hardware to verify their assumptions with bruteforce testing.

We'll see.