JIT: Range check not skipped for 64-bit `x >>> cns` known to be in range

[saucecontrol]

#109900 added RangeCheck optimization for x >>> cns, but it doesn't kick in for 64-bit values for some reason

https://godbolt.org/z/TqeYc7G8c

cc @EgorBo

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

[EgorBo]

Our current infra for range check analysis is TYP_INT only so this pattern doesn't fit well. We can pattern-match it specifically, but seems like it has zero diffs. I would rather rewrite the RangeCheck to support int64 then (in the future)