La Guerra de la Codificación con IA se Traslada a la Verificación: CI, Pruebas y Fusiones Seguras