An update - the clover has made a big difference. Much of the clover I seeded last year has grown in to the worst parts of the lawn. I continue with the high-mowing routine and things are looking much better already, despite a very hot and dry May. There are hardly any bare patches now and I think it will hold up much better through the dry season (July and August) when the weeds dominated last year. I seeded more clover this spring, but I don't think much germinated due to the lack of rain, but I've got a decent cover of clover where the grass was weakest and overall the grass looks healthier with the nitrogen support of the clover. I'm not going to bother fertilizing until the fall.
I've also planted a bunch of fruit and nut trees in the sunniest area, mulched them and guilded them with comfrey, nasturtiums, chives and a few other assorted support perennials. I'll be slowly expanding the tree guilds outwards to keep up with the root and drip lines as time and material allows. To be honest, I'm looking to transition from a lawn as the dominant feature to a minor player in a forest garden landscape - some lawn paths and maybe one or two clearings should be all that eventually remains. What grass I do keep should be in much better shape by then, due to the soil improvements and some shade from the blistering sun. It'll take a number of years, working a bit at a time at planting the woodies, followed by sheet mulching, shrubs and supporting perennial layers. I'm hoping by the time my lawn tractor grows old, I won't need any more than an old fashioned manual mower.
I didn't notice a huge difference where the worm pits were dug last year, but we had an unusually dry fall, winter and spring, so I don't think it had the chance to break down much. I've noticed more worm activity in the few weeks since I've sheet mulched around the trees.
I'll have to add a photo or two after I cut the lawn, it's overdue
