And the work is *partially* done: http://istruecryptauditedyet.com/ (but note also that it required the initiative of a few important cryptographers and donations for about 50000 USD to fund the auditing in order to start the project)