Robust Verification of Quantum Computation