Statistics for Quantum Turing Machines and Quantum Prover-Verifier Interactions