Delete useless algebra lemmas for CVCx and Z3
The lemmas of algebra.Field
as well as CompatOrderMult
are passed to CVCx and Z3. They shouldn't be since they are already known by the provers and in the case of Z3 it seems that they make other things harder to prover.
They need to be removed in the drivers of these provers.