Add a test case for `applyPatternsAndFoldGreedily` to support the revert of 59bbc7a0

This shows that pushing constant to the right in a commutative op leads
to `applyPatternsAndFoldGreedily` to converge without applying all the
patterns.

Differential Revision: https://reviews.llvm.org/D122870