Toward Agents That Reason About Their Computation