LMR: reduce more if static eval + futility margin <= alpha