[mlir][affine] Use alias analysis to redetermine intervening memory effects in...

[mlir][affine] Use alias analysis to redetermine intervening memory effects in affine-scalrep (#90859)

This fixes a TODO to use alias analysis to determine whether a read op
intervenes between two write operations to the same memref.

Signed-off-by: Asra <asraa@google.com>