perf(lp) : speed up by creating a one_elem_on_diagonal_matrix instead of a one_off_diagonal when possible

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
perf(lp): speed up by limiting the factorization tail growth

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