The question is do you want the "film-look" of 24P photography? If so, only the Canon XL2 and DVX100 offer that feature on your list. Between those two, I might lean towards the Canon XL2 because it does 16x9 better and allows interchangeable lenses.
But if you want HD, then that's the Sony FX1. But it does not have progressive-scan.