New LIRA compatible cut engine
Disabled branching on linear variables.

My benchmark tells me that this has a negative effect on QF_LIA.