Rob Hamilton identified code vulnerabilities in Paul Miller's cryptographic libraries using the Kimmy K3 model after audits by Trail of Bits and OpenAI