I'll give you a different option.
Olympus 60mm Macro & Nauticam port
Olympus 12-50 - Uses the same port as macro, just lose the ability to use macro button during dive (but you have the 60mm anyway). You can 3D print a much less complicated gear for really cheap.
Panasonic 8mm & 100mm dome.
Then you only have 2 ports to worry about, covers the range, and the 12-50mm is only about $150 used
I wouldn't do the 9-18mm. I used that combo and didn't like it. I now use a Panasonic 7-14mm instead.