[Util] Support loop IVs in divisibility analysis

[Max191]

Adds support for analyzing the induction variables of loop-like ops in the IntegerDivisibilityAnalysis. This just uses the lower bound and step divisibilities to compute the IV divisibilities based on the simple lb + i * step expression.

[Max191]

Based on https://github.com/iree-org/iree/pull/22723 to pull in the testing pass (otherwise the PRs are independent), so just review the last commit.

EDIT: Rebased now