They have the choice to not be users anymore.

Which seems like a bad option for Reddit, given that their only value proposition is that they have a lot of users.

The choice they have is in whether they're around at all to be rolled.

this isn't really costing users anything, unless "time spent on Reddit" is considered a good.