On the Hardness of the Quantum Separability Problem and the Global Power of Locally Invariant Unitary Operations