However, margin will be steep, considering the volatility; my broker in particular actually has a $200k overnight margin requirement for a short position.
I'm sure you've heard the saying that the market will remain irrational for longer than you can remain solvent. Please keep that in mind when shorting bubbles.
[1] https://www.cmegroup.com/trading/equity-index/us-index/bitco...
Exchange (that is, Globex) availability hasn't ever really been an issue (and I can't remember the last outage they had; it'll be a big deal, considering there are literal trillions in notional value swapping hands every day). Your broker, which will be your gateway to actually trading the contracts, will be the bottleneck of availability.
I personally use Interactive Brokers, and their uptime is great. Even during times of extreme volatility this year across many markets, which caused the likes of Robinhood or even more established brokers like TD Ameritrade to experience downtime, IBKR has been fine. Obviously your mileage may vary and I suggest you do your due diligence on brokers.
So you might supply USDC on Aave and borrow WBTC. You can then trade that WBTC for USD (if you're bearish on BTC relative to USD), wait for the WBTC price to drop, buy it back and repay your loan.
Though if you're wealthy enough to trade the futures, it's taxed more favorably and easier to manage.