Any attempt to seriously combat bots would most likely impact real user engagement numbers so it is indeed a tricky business problem to solve.

But I can't see the Reddit comment change as anything other than a cynical "astroturfing as a service" to advertisers. Doesn't seem to be working out for them though given their stock performance this year.