Captain Rage Quit 69
Banned
I would argue that Doc's killing power is in no way a good trade for anything regular Mario has.
How do you mean? Doc's big flaws are the fact he's slightly slower both on the ground and in the air than Mario and his recovery is slightly weaker. Other than that I'd argue both Mario's have nearly the same potential. The two even have identical frame data for the moves they share.
The only thing I'd change about Doc right now is a buff to his overall movement speed, but I don't think any character has received a change like that so far.
Edit: Another fun fact is that regarding the moves they share Doc deals very slightly more damage on every one except usmash (the angles they launch people at are different, but Doc has an extra frame where the hitbox is in front of him.)