[BasicAA] Use KnownBits trailing zeros to boost GCD in modular aliasing check (#187297)
If a GEP variable index V has known trailing zeros, shift ScaleForGCD
left by that amount to capture the larger stride. This helps patterns
like `and %x, -Align` that GetLinearExpression cannot fold into Scale.