dev(lp): simplify the main loop in the core solver, use randomness

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
dev(lp): merge lp_settings.h

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