As I have only a small handful of homebrews under my belt, I feel I have reached expert status to answer all homebrewing questions now!
In all seriousness, from what I've learned and been able to read up on (so take it with a grain of salt), if you are looking for carb-dense beers for post workout imbibing, the higher alcohol, bigger bodied beers seem the way you would push. But after a work out, something tells me a Barleywine, Imperial Stout or IIPA may not be what you are looking to knock back... maybe. I would think a nice American IPA like you were already planning would be decent. Slightly higher ABV 5-7%, use whatever hops you like for the flavor and aroma you want. Sierra Nevada Celebration and Avery IPA have 19g and 13g of carbs respectively. Not quit the 33g you'd get out of a Bigfoot Barleywine. But if you like your Corona's after a run, why not just stick with that.
AND... found this one after thinking about this post: