cristoir,
Regarding lens selection for the Sony A7R IV some of the things you should know are that first, in general the higher megapixel count cameras reveal more lens flaws than lower MP cameras. The A7R IV at 61MP is the highest MP full frame camera on the market you would need to go to medium format to get more.
Even on a 36MP camera the Sony 16-35mm F/4 one of Sony's first FF is average by todays standards while the Tamron 17-28 and I suspect the new replacement Sony FE 16-35mm F/4 II will result in much better image quality. The older Sony FE 12-24mm F/4 also has much better image quality and the 12-24mm F/2.8 is just outstanding. Adding a dome port and extensions as you already know makes things worse with some ports and extensions being worse than others.
Regardless of which full frame lenses you chose be it from Canon, Nikon or Sony rectilinear lenses are challenging in regard to corner sharpness. As a result the prevailing wisdom is bigger ports(230mm over 180mm) and a starting F/number of 13 or above are the recommended starting point.
Two highly recommended water contact optics give you a distinct advantage on full frame the Nauticam WACP-1 and the "poor mans" WACP the WWL-1. WACP can be configured with lenses for Canon, Nikon or Sony while the WWL-1 is most compatible with Sony FF cameras.
WACP-1 and WWL-1/1B will give better corner sharpness and more at any given F/number than a lens in a dome port. WWL-1 has the added bonus of being removable allowing you to shoot from 130 degrees to about 1:1 with the Nauticam CMC-1. The only thing these two lenses don't allow to do well is shoot splits. I would highly recommend that you at least consider a housing that can support one or both of these lenses. Sagadive.com has an adapters that will support WACP-1 on just about any housing. For WWL-1 the possibilities are more limited.
I am in the unique position to have tested and reviewed all of the lenses and many more for UWPMAG.com. All of my reviews can be found in the back issues (top of the home page) of UWPMAG by putting my name Phil Rudin into the search engine and downloading the desired issue. All issues are free PDF downloads.
You can PM direct if you have any technical questions.
P.S. Also remember that even when shooting in APS-C mode the file size for Sony A7R IV is 26MP larger than most APS-C cameras including your old A6100 which leaves room to crop from FF if corners are a bit soft.