Am I the only one who finds this a bit too optimistic? I'd like to believe this to be true and I definitely believe in the potential being demonstrated by the application of Quantstamp on smart contracts but this just seems to be one of those "too good to be true" cases, and usually in crypto when that happens....