ConstantPropagation: make RemoveValidIf an optional dependency (#2027) (#2066)

This allows ConstantPropagation to be used in cases where
ValidIfs need to be maintained, e.g., in the formal backend.

Co-authored-by: Adam Izraelevitz <adam.izraelevitz@sifive.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
(cherry picked from commit ad0fd657

)

Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu>