(That said, I must also say that I don't see that auction as responsible for the current drop. I imagine that most traders knew it would happen, so they have it "priced in" already; and most traders should not see it as a big deal.)
I think most would disagree, it seems clear that the sale is responsible for the recent drop. If you want to keep to the efficient market hypothesis, you could say that a large percentage of traders thought the SR sale wouldn't happen, due to the US not wanting to be seen to sell bitcoins (because it would supposedly give them legitimacy).
Now has the market priced in the sale of DPRs coins? I think the timing will make a difference, because of the limited supply of bitcoin on the markets. The price will drop if/when he is convicted.