fix(lp): use randomnes to avoid stalling, more robust factorization

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