Complexity of a Stablecoin “Run”