fixed slicer always on in auto mode
fixed bug due to huge explanations in bv algebraic solver
fixed bv2bool n-ary XOR bug
merged