An Efficient Test for Product States with Applications to Quantum Merlin-Arthur Games