Finance officials never once named libra. But they didn’t have to; the proposed stablecoin’s shadow still looms large.