The fisheye can be housed in a smaller dome - on Nauticam their 140mm glass dome is recommended, but it can be used in bigger domes or the 4.33" acrylic dome.
The 16-35 lens is the most demanding and to get good corners you need the 230mm dome. The Nauticam port charts list options to use the 8.5" acrylic dome and smaller domes but don't expect good corners at 16mm. The S&S correction lens is also recommended to help with corners.
The reality is that housing a full frame camera is an expensive option and made doubly so if you want to house a wide rectilinear lens. Having said that it does depend a little on what you plan to shoot - big animals with bluewater in the corners should be acceptable. It's hard finding images that show this online here is one link which gives you some idea what to expect: https://uwaterphoto.com/?p=839
That link also talks about the S&S correction lens and shows the difference it makes. At top is a photo on full frame with a 170mm dome showing corner softness. The link also has a couple of frames from a 200mm dome with a 17mm lens showing that with the S&S lens an 8" dome is probably OK - depending on your standards.
On the lens choice I would suggest the f4 lens - you will never need the extra stop underwater so save your $$ and put it towards a big dome!
On Ikelite vs Nauticam or others - plenty of people are happy with ikelite housings - they are built to a price but they are cheaper for a reason.