Parallelization, amplification, and exponential time simulation of quantum interactive proof systems