What would happen to $BTC mining if there was a hard “chokepoint”? shut off all exchanges, no (direct to fiat) off ramp and the only on ramp was mining?