Verifier-First Strategies Improve IaC Generation for Terraform | HACKOBAR_