Agents in the Ethereum cryptocurrency

2 concerns. couldn't you program an infinite loop in the first 16 lines of code? second, how do you know that the client ran the program correctly?