This is clear to most people, except a few hardcore Mrazek supporters. I mean it's the same story every year, a rookie comes in does (mostly) well and then people are expecting him to replace the current number 1 goalie and become the next elite one...when in fact more often than not the holy backup falls back to earth and ends up bouncing around between teams and in most cases never establishing himself as a proven number 1.
Mrazek isn't ready for the #1 job and still needs time to round out his game in the AHL because sooner rather than later his over-aggressive style will get exposed by more than just a few teams. That being said Jimmy needs to get back into his pre-injury form that's for sure.
You've said this a few times, but I guess you haven't read people's responses. He's been there for his 3 years. It's not a possibility for him to play there. We'd have to send through waivers and there's 0% chance he'd make it through. Furthermore, playing more in the AHL wouldn't help his game - he needs to just get used to the higher skill level/faster pace etc... Somebody else mentioned Carey Price - we all saw him struggle for years. Few, if any, goalies enter the league as all stars - they go through some growing pains.