ci: check format with tidy

mise run fmt now also runs tidy --check on the tracked files, and
fmt:fix applies it. The test cases stay as written. CI's lint job runs
the same task.