Why Signal’s post-quantum makeover is an engineering achievement