[mlir][scf] `scf.while` uplifting: optimize op matching (#88813)

Instead of iterating over potential induction var uses looking for
suitable `arith.addi`, try to trace it back from yield argument.