I can inspect the code I write professionally too, but I still end up shipping bugs from time to time. So I'm not really convinced that the ability to read the code will let me reliably determine what it does. Have you heard of the DAO hack?