Hi Colin,
I would pick Atik One 9.0 as an integrated kit (with FW and OAG), or, if budget permits, the SX camera, as you could later on add their dedicated Active Optics unit.
ICX 814 from my experience is a very nice sensor, I am sure you will be very happy with any camera you decide to buy from your list.
EDIT: If you are not planning to keep your current camera, then there is an option of selling your current filters or swapping them for smaller ones that would fit a QSI 690 WSG-8, 8 position filter wheel can be quite useful if you would like to add RGB stars/data to your narrowband images