A large point of the minecart addition is that hauling every single rock is already inordinately time-consuming (which, granted, has balanced out the unrealistic ease of churning through walls -- at least, unrealistic unless dwarves know something about picks or their use that we humans don't -- but now that Toady's making it easy to move stuff in minecarts, I hear the mining itself is going to be tweaked/revised). As such, I don't expect the hauling of individual stones to be made harder than it already is. I wouldn't be surprised if their mining were made slower or something -- I don't know what Toady has planned for the mining system/mechanics per se, which I thought was pretty much complete.
And now, to ask about the future of the fortress in an area that isn't the main focus right now (I hope I'm allowed to ask two questions in one round; if not, just let me know and I'll save this for the next)...
Could a solution to the elven stupidity be to add a raw tag that 1) changes the description to suggest an object was grown rather than carved/cut, 2) allows the elves to recognise their own work and trade it back, and perhaps 3) adds a surrounding symbol -- say, "~" -- to the name to let us distinguish a +<<*larch bow*>>+ and an elven +<<*~larch bow~*>>+? It seems to me that given the system already tracks material, quality, encrusting/decoration etc. of individual items it shouldn't in principle be difficult to add elven-ness in this manner (though maybe it's more complicated to change any such things than I realize)? I for one would like to get a *~larch bow~* from the elves, decorate it so it's a +<<*~larch bow~*>>+ and sell it back to them at increased value, whereas currently there is (to my knowledge) no point in larch bows being in Dwarf Mode at all.