People have weird ideas about the protective powers of a "full security audit". This is Bernstein, Lange, and Schwabe's code. There aren't many auditors qualified to review it.

It's more about having a third party look at it rather than the credentials of the authors being in question.

I understand the idea, but again: there aren't many third parties that are qualified to evaluate crypto code at all.

Theorem provers?

If you want proven crypto, there's always this project: https://github.com/idris-hackers/idris-crypto

Let's not wait 5 years then crowdfund it like TrueCrypt ;)