Practical Cryptographically Private and Verifiable Computation Through Hardware-Software Co-Design