[Content about writing tests in Hardhat goes here]