Prompts for Verifiable SQL: Constraints, Grain, and Test Queries