Operationalizing Specifications, In Addition to Test Sets for Evaluating Constrained Generative Models