fix(lp): fix a bug in pivot choosing, move tolerances to settings

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>