High-frequency crypto market making backtest with Tardis and Avellaneda-Stoikov strategy