Binance Just Launched US Stock Options. Unlike Every US Broker, They Don't Exercise Automatically.