If you have one of those cameras and lenses anyway, and you just want to dabble in underwater photography, the SeaFrogs setup is probably fine.
If you are buying one of those cameras because you are serious about underwater photography, then I would probably not buy either of those lenses, or a SeaFrogs housing.
I used to shoot an Olympus m43 camera in a Meikon housing, with a Meikon dome. I replaced the Meikon dome with a Nauticam WWL-1 and the improvement in image quality was easy to see.
Now I am shooting an a7rIV in a Nauticam housing. My opinion is that the a7rIV with the kit 28-60 lens, WWL-1, and Nauticam CMC-1 and -2 gives you just about the most flexible and complete setups you can have. You only need more for extremes. I.e. for wide angle greater than 130 degrees (i.e. fisheye) or for super macro, you would need more lenses/ports. But, for everything from "normal" macro to 130 degree wide angle, this setup handles it.
For underwater, the "best" lens isn't enough by itself. What you need is the best COMBO of lens and port and possibly wet optic. For example, for wide angle, the Sony kit lens (28-70 - the older kit lens) + a WACP will give better results than a native wide angle lens (e.g. the Sony 16-35) plus a big dome.
It seems to me that really fast lenses have limited application underwater. You're normally shooting at f/8 or higher anyway (on a FF camera) for depth of field, or to catch a sunball in the background.