This might be a little off topic but I'm not a developer and would appreciate your opinion. What are your thoughts on quantstamp or similar projects? Do you think automated smart contract auditing will be a likely solution to security issues?