I would definitely not stretch it, and I would hesitate to hammer up. I would only hammer at your risk.
Pro Tip: (for small amounts like a 1/4 size on a thick shank like this) Take a cylindrical rotary burr and evenly grind out a bit of metal on the interior of the shank, up a 1/4 and then re-polish.