Text this: A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)