[SILOpt] Represent _TrivialStride pre-specializations with vector types (#70938)
rdar://121071710
Currently it uses builtin integers, which round up to the next power of 2, which is not what we want here. Instead it should use builtin vectors of uint8 and a number of elements equal to the stride in bytes.