I believe the Zeevee boxes only deal with "unencrypted" HDMI inputs.
Their web site promotes them more for digital signage.

The VeCOAX modulators seem to work fine for use with Satellite or Cable boxes (at least where I have installed it)

HDMI Matrix switchers work fine (for the most part) if everything going in is new and all the same resolution. Lots of control systems have drivers / profiles or whatever to control most well known brands. But they do add extra costs and programming to a project. And if the client should ever want to add more TV's it can become very expensive.
I have used a few HDMI matrix brands over the years too.

Different projects / control systems and clients will have requirements that can make one way better than the other.