Agile V: Turning AI Agents into Verifiable Engineering Systems