Lava casting cobble doesn’t really make sense to me since you can get a stone pick very easily, mine in bulk and place in bulk and be done faster i think. No need for iron even.
And smooth stone generator requires placing water sources which makes it even slower than cobble generator. And mining natutal smooth stone is faster because you mine it faster than cobble and there is no delay between blocks, like there is in generator. The difference is small but still there.
You know you can make a cobble generator without the risk of turning lava into obsidian. Great way to afk-mine but slower than mining natural smooth stone
Proton is basically just a version of Wine but Steam has other runtime apps like Pressure Vessel that work together making the game run. Don’t know if Lutris has anything else than managing and running the apps in the Wine prefix with specified Wine version. This is as deep as my knowledge goes.