On the Hardness of Distinguishing Mixed-State Quantum Computations