Finance officials never once named Libra. But they didn't have to; the proposed stablecoin's shadow still loomed.