Well, I'm happy to be corrected. And I agree it's possible that Bulgakov (at the time he was writing the book) did not intend the name Чугункин to be a wordplay on Сталин, but only a reference to expressions like чугунная голова, as you suggested.