Anfonwch hwn fel neges destun: Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements