“Devin currently has a 70% success rate for fully automatic remediation of CVE vulnerabilities, where its suggested code change is accepted without human modification.”