Correct. The camera meters independently of the flash, because the effect of flash on exposure isn't determined until the preflash (when you fire the shot). Obviously, you can dial in FEC separately from the ambient exposure you set on the camera.
Over 1/250 s on the 7D means HSS, yes.