A Practical Specification Language for Automatic Quantum Program Verification (Technical Report) (ArXiv cs.LO Recent Papers, 2026)