My 2 cents: Ideally, there could be other options like:

• Better default sorting algorithm that penalizes those bot posts.
• (?) Default list of blocked users when you sign up on a given instance: you could unblock them if you want, but new users will not see their spam.

I’m of the opinion that defederating should be the last option but, given the current features, I don’t see any better way :(.