The Cryptographic Fix for US Elections Is Still Sitting on the Shelf