bitcoin bull run has not yet even started. i don't consider what we had so far as a bull run. it was more like the market waking up and jumping out of its bed. also considering the fact that before all the drama in January began, price was already headed from $6500+ towards $7k+ and beyond so now that we are getting there after about 5 months we are just making up for the lost time.
that is why unlike some others i don't expect any major drops but also i don't expect to see a big rise to shoot above $10k either. a slower rise is more likely in my opinion.
I feel what you're saying, more of a quick correction, a wake up call to the value.
I think we will see 10k but more by October not a quick shot all suddenly. I figure a lot of time in 9k range.