Move to Mocha 12 in `hardhat-mocha`

Mocha 12 is now available: https://mochajs.org/blog/mocha-12-stable/

We should analyse whether we can move hardhat-mocha to Mocha 12 without breaking existing projects.

The Hardhat team will need to do an internal analysis, so this task is not suitable for outside contributors.