Toward Practical Argument Systems For Verifiable Computation