Set use_evars_eagerly_in_conv_on_closed_terms in rewrite_unif_flags too.
This allows to have the example in test setoid_unif.v to work again.