I haven't used Kicad in years. I thought they improved significantly in that time span, while HorizonEDA was stagnating at it's admittedly very good level of quality.

What I am missing from HorizonEDA is the ability to set constraints to signals/pads such as maximum and minimum current, voltage, frequency or setting impedance targets.

There is also no easy way to do a simple static current FEM simulation on custom polygon shapes. You can already do this using a chain of four open source tools but it is a lot of manual steps.