Of the knives you listed, I'd go with the ESEE 6 HM. I also dislike choils, and the HM version seems soooo much more appealing to me.
Also, if you're looking at the ESEE 6, I'd be remiss if I didn't also recommend the Becker BK12/ Ritter MK2. This one was designed as a collaboration between Doug Ritter, and Ethan Becker, and is the only current production "Becker handled" knife not made by Kabar. Its actually made by Rowen (the manufacturer that makes the ESEE knives), and shares the same warranty/etc. I've not handled the BK12, nor the ESEE 6 HM personally, but I do find that the Becker handle design is very, very comfortable for me in extended use.
For a cheaper knife in that same size category of "larger than your typical bushcraft knife, but not quite chopper", look at the Schrade SCHF 42D. I normally wouldn't recommend a schrade (not a huge fan of them personally), but this one was designed by Mistwalker (member of this forum), and the design reminds me of a Becker BK16 on steroids, which is a complement. Its a ~5in, 3/16in thick blade made out of 1095. It is also made in Taiwan, instead of China, like most of the rest of the Schrade SCHF lineup. It runs ~$40-45.
The BK2 is undoubtedly a very tough knife, but I don't really carry mine much, just because I've found that I don't need as much strength as it provides on a regular basis, and prefer to carry less weight. You might be interested in the BK10 though (similar overall size, but made out of 3/16in blade stock, so a fair bit lighter). And personally, once you get over ~6in in blade length, its starting to feel more like a chopper to me, and in that case, I'd rather double down and get an actual chopper (BK9, machete, etc), and then bring a smaller knife like a Mora, and getting knives that are good at both tasks, instead of just mediocre at both (large/small work).
Anyway, good luck finding something that works for you

.