I don't spend a whole lot of time with T.A but I think auditing is going to be an essential step in finalising smart contracts in real-wold situations. I can definitely see a use case going forward. Great article.

Fish