Semijoin removal (redundant join elim) fails if expressions are simplified

[frankmcsherry]

What version of Materialize are you using?

main

What is the issue?

Transforms that simplify expressions, e.g. replacing #1 with #0 when they are known to be equal, breaks the RedundantJoin transform, whose provenance detection is not robust to these sorts of transformations (it largely ignores the filters and equivalences in Filter and Join, although it does clone the provenance for columns introduced in Project).