Update Corvus to .NET 10#171

michaelmior wants to merge 2 commits intomainsourcemeta-research/jsonschema-benchmark:mainfrom

dotnet10sourcemeta-research/jsonschema-benchmark:dotnet10Copy head branch name to clipboard