[Jit] Indexing mod array.Length not recognized as bounds safe

e.g.
```csharp
var i = buckets[hashCode % buckets.Length];
```
Will introduce a range check, even though its always safe (though maybe not for Length == 0?)

category:cq
theme:bounds-checks
skill-level:intermediate
cost:small
impact:small