I can't vote in your poll because in different cases one or the other is better.
All I can say is that Magus will be missed.
I understand why RIOT added Runeglaive.
But I don't understand why RIOT removed Magus.
They said that Magus was a mid game item that buffed raw stats rather than being used to clear the jungle. They cited Fiddlesticks as an example and said there were other champions.
But 20% cooldown reduction was the reason to get Magus on champions - champions that got it before completing other items. And yes the cooldown reduction helped clear jungle faster. Which means that RIOT's statement may only have applied to some AP junglers.
My best guess is that RIOT couldn't figure out how to change Magus in a meaningful way, so they ditched it.
All that said, Cinderhulk is the only jungle enchantement actually purchased to help clear the jungle. The reason for this is that tanks build resistances and hp, which gives them slow jungle clear. Even so, they could buy Sunfire, except that Cinderhulk gives %hp (which helps them tank enemy champions).
Warrior is purchased to penetrate armor on enemy champions.
Devourer is purchased to do more damage to enemy champions as a reward for clearing the jungle.
Runeglaive is purchased to proc damage on enemy champions or push minion waves faster.
The reason these enchantments aren't purchased to help clear the jungle faster is because unless you are a tank, by the time you purchase your jungle enchantment, you don't need it to help clear the jungle (and if you do need it, then please stop playing Thresh in the jungle, just... stop... please).
I have seen players delay completing their enchantment on non-Magus builds, because the enchantment isn't needed.
The only enchantment you can't delay is Devourer - and not because you need it to clear the jungle, but because you need to start stacking it as soon as possible in order for it to become worth buying.