[AliasAnalysis] Misc fixes for checking aliasing with scalable types.