I went through the same process earlier this year. The dilemma I found myself in again and again, was to get the stability of a mastodon at the weight of a feather.First I bought the Benro C-2691EX (I don´t think that exists anymore, but it is the speedlock version of the 2692, I think), with the Benro B-2 head. Carbon, light and compact, 5 section legs, speedlock and the option to use one of the legs as a monopod. And the price is competitive. If I was on a tight budget, I am sure I could live happily with this tripod. In your case it would probably work well except on the longer end of your 100-400.

But I am used to the Gitzo GT3542LS/Wimerley Gimbal II for +400mm use and the Benro simply felt shaky. So a couple of months ago I bought the Gitzo GT2540F ($799) with a GH1780QR ball head ($220). It is not on your list, but it might be that you should add it. Yes, it is more expensive and yes, it is slightly bigger (just over an inch) and slightly heavier (like 4 AA batteries), than the Benro, but it is in a different league on everything else. I have carried it on longer hikes and also in planes. It is easy to set up, stability is excellent and it gives you that special will-last-forever-feeling. I have used it, with the ball head, on everything from 14mm to 400mm and it just feels right. I even mounted the Gimbal head with the Canon 1DX and a Canon 400mm f2.8L IS II, with the 2x III extender on it. And it worked so well that I will repeat that combo on most trips with long walks or high climbs in the future.

The number of tripods out there are enormous and it is not easy to make the right choice.
Good Luck!