Wide rectilinear lenses are challenging as the corner performance can be pretty poor, you will see lots of threads in the forum with people asking about poor corners with 16mm lenses on full frame. This is due to the dome port optics the corners of the curved virtual image are not within the depth of field available. Getting sharp images from a dome port requires two things, the lens entrance pupil needs to be at the centre of the radius of curvature of the dome and the dome needs to be have a big enough radius of curvature to allow the corners to focus. If the dome is not positioned correctly chromatic abberation and distortion will be introduced.
Ikelite will certainly do the job but there are compromises in that they are built to a price - one of the compromises is the 8"port is the largest available, which is generally considered smaller than optimal for a 16mm rectilinear lens. You corners won't be fantastic with either dome. The compact dome port has the additional problem that the centre of curvature will be placed well behind the entrance pupil. Wide angle lenses typically have the entrance pupil close to the front and the centre of curvature of the compact dome will be well behind well down inside the extension. It needs to be placed well forward to avoid vignetting.
You can't use the S&S correction lens with the Tokina which would help the corners out. I don't know if you have the lens yet or not, you might consider a 16-35 f4 lens perhaps as it can accept the S&S correction lens.
Generally the recommended configuration to get the best out of a 16-35 lens is a 230mm (9") dome and the S&S correction lens shooting at f11-16 without the S&S and f8-11 range with the S&S.
Fisheye lenses are different and much easier to house being less sensitive to dome placement and done size.
Whether corners are important is your choice really and some types of shots like big animals in blue water it is certainly less important. If you are set on ikelite then I would certainly get the bigger dome.