Binance spot market making backtest: Tardis tick data replay for HFT strategy