>This also decreases supply of miners (though perhaps not materially) making it more expensive to mine

Only in the short term. Difficulty adjustment makes the total mining power irrelevant over the long run.