just what the world needs, more proof that apple's got the funds to actually care about security, meanwhile the rest of https://security.apple.com/blog/formal-verification-corecrypto/