Which digital currencies are most useful in a crisis, asks a Brazilian central banker. CBDCs, bitcoin or libra?