Coverage ports are under our control now, so there's absolutely no reason to use port 8555 for coverage and 8545 when we're not under coverage. This PR puts everything on 8545 for the primary provider, regardless of coverage status.
I believe some of our test suite, after the move to hardhat, is going to break once the next release is properly made on GitHub, however (which we should do, given the release has actually happened in a practical sense). However, that's not something for this PR.
Coverage ports are under our control now, so there's absolutely no reason to use port 8555 for coverage and 8545 when we're not under coverage. This PR puts everything on 8545 for the primary provider, regardless of coverage status.
I believe some of our test suite, after the move to hardhat, is going to break once the next release is properly made on GitHub, however (which we should do, given the release has actually happened in a practical sense). However, that's not something for this PR.