Dave: Discord's New End-to-End Encryption for Audio and Video