Migrate from ESLint to Oxlint

[mrlubos]

We want to change this repository linter from https://eslint.org/ to https://oxc.rs/docs/guide/usage/linter.html. There's a few rules in eslint.config.js, we want to make sure there's an equivalent set in place for Oxlint.

[mrlubos]

On hold

[connorshea]

@mrlubos FWIW I think the Copilot research was wrong on some things, see #3127 (comment)