Just keeping up. This moves all the code here to .NET 8, updates the various
tools in use to new versions, applies a `paket update`, and makes the small
number of code changes required by various dep updates, mostly for Expecto.