Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements