If Ethereum and smart contracts take off, "code auditors" are going to be making a fortune.