Rationality and Efficient Verifiable Computation