I am happy with the results at 8mm behind the 7" dome, but I agree that 7.5mm behind the small dome would be a fools hope. My parents use the 9-18mm behind a 6" dome and that's also not that great, so probably the 10mm is out too. I don't think a 12mm prime is really all that wide (I've tried the 12-50mm in the 7" dome). I already have the Panasonic fisheye and 4.33" dome and I am generally very happy with it. I'm just looking for a slightly narrower (doesn't even need to be rectilinear) solution for when the 180° fisheye is too wide.
The following options seem to be available:
Olympus 12-50mm with MWL-1 (would allow 150-71° FoV according to Nauticams Portchart). This is probably pretty cool although the (very sparse) reviews of the MWL are not that confidence inspiring. Biggest downside is cost and no splitshots, but splitshots are pretty hard behind a small dome anyway. Upside is, you would still be able to also do macro with the 12-50mm macro mode.
Canon 8-15mm and a bunch of adapter and 140mm dome. This combination would probably be the best wide angle image quality wise and would also allow splitshots. Cost is about the same as the MWL-1, maybe a bit more.
Olympus 12-50mm in 4" Wide angle port. This port is I believe a really small cut from a fairly large dome, which is fine for the reduced FoV of a 12mm lens. It also has an option for a flip adapter to add macro wetlenses. No Idea how good a CMC-1 would work in combination with the 12-50mm behind a small dome. This would be quite good as an allround solution for dives where you don't know what you will encounter (same as the MWL-1). It's much less expensive (probably about 800€ for Port&Flipadapter), but obviously gives a much narrower FoV. Like the MWL-1 I've not found any reports online of this solution.