Iceman, that's exactly what's the definition of high speed stall: flow separation because of mach shock waves.
Studi is basically right. Dear old D.P. "Deep" Davies ("handling the big jets") would have answered: Stall speed is always at the same EAS if you disregard some compressibility effects for high mach numbers.
Dani