I've never checked someone's achievements during an auction and then straight after, just in case I come up against them again, and assuming they haven't bought more. I think assuming someone has no tokens left is always a foolhardy manoeuvre.
I see your point, but I think it's unlikely that it will pose a problem. It's really just a way of getting you to drain your tokens down, lose an auction and then buy some to replenish.