I think it could be dropped a little bit as well. Their effect isn't as brutal as Mastermind Bots, nor do they grant too much shielding like the Command Bots. However, they do seem disproportionately tough.
Keep in mind that I am playing on Expert, and LeaderBots are about 5-7 levels above everything else (thank you so much, RNG). They have ~5.6k HP with ~31 days left. I am definitely razing some Robot Command Centers, or my only choice will be to VirusBot really strong enemies to get rid of them. Thankfully, they are not in the final matchup (probably one reason they are so much higher level than anything else--I love killing factories!).