Alright that's some dedication, but I guess what I want to know is, does it really matter at that stage of the game? I don't remember doing pretty much any time-consuming mining after beating Wall of Flesh. Rod of Discord usually takes care of tunneling issues, and otherwise I could just use bombs.
I see mining speed being a big deal in pre-Hardmode, when you need to mine tons of materials and dig hellevators and possibly some infection trenches, but I've just never understood the debate over HM ore pickaxes versus drills when I doubt either of them see heavy use.