It is a pity to hear that you are not satisfied with your fisheye setup, Chris, since these setups belong normaly to the best and sharpest WA solutions...
I have few comments:
#1.: As far as I can judge from here, I do not find that the extreme corners in your example images extremely unsharp. Maybe it is not such a big problem - when I look at the corner sharpness of my Panasonic rectilinear WA at 7mm (with Zen DP170 and 60mm extension), THIS is what I would call really bad corners...
#2.: It may well be an issue of dome port radius (you are using the DP100 with r= 5 cm).
The smaller the radius, the smaller and closer the virtual image is and the more criticial the correct positioning of the lens via the extension becomes. I was considering the DP100 also, but was unable to find a version/extension that would perfectly fit my, admittetly, exotic fisheye solution (Canon 8-15mm and Tokina 10-17mm via Metabones 1x adapter on EM1II). So I went for the (larger) Nauticam 140 (r= 7 cm), where the correct combination for extensions exist.
Here a real life indication for importance of dome radius: When I use both Canon 8-15mm or Tokina 10-17 mm with the Zen DP170 (r= 11 cm), I find IQ at least as good as with the smaller Nauticam 140 (Also the Zuiko 8mm gave perfect IQ with the DP170, but I cannot compare to Nauticam 140, since I never used this combination). This is contradicting the theory, since the DP170 is not a real fisheye domeport (full hemisphere) and correct positioning of the lens is impossible. It seems, however, that the larger radius by far outcompensates the error in lens positioning - indicating how important the radius is...
#3.: In case you go for another lens, as you indicate above, I recommend you also have a close look at Canon 8-15 mm or Tokina 10 - 17mm (with 1x Metabones adapter and Nauticam 34.7mm extension). IQ with Canon is at least as good as with the Zuiko 8 mm and I personally cannot see that the Tokina 10-17mm performs worse in practice (this is a big surprise since over the water the Tokina is garbish). The pleasure to have the opportunity to zoom out during the dive is just indispensable, I never was using my beloved Zuiko 8mm again after haveing the zoom fisheyes...
(And, finally, maybe another lens will be a disappointment, when expecting substantial improvement in IQ with the same dome. Improvements in IQ may just occur by chance, because the extension fits 1 or 2 mm better the new lens)
Wolfgang