> which declined to allow their E2E code to be audited.

Could you cite this? The Signal Protocol implementations they're using are both open source and well audited.