Відправити по sms: Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements