I disagree that him staying would have stifled any progression from Mitchell.
They don't necessarily play the same position, and I think coach Snyder is smart enough to recognize Mitchell's talent and utilize him while still giving both players enough PT.
At the end of the day, nobody could ever know this for sure, though.