chore: update EC config for MAINNET

[rabi-siddique]

closes: #10194

Description

The PR updates the MAINNET config for the replace electorate core eval by adding new EC member's wallet addresses to voterAddresses and updating highPrioritySendersConfig with addressesToRemove.

Security Considerations

Scaling Considerations

Documentation Considerations

Testing Considerations

Upgrade Considerations

[cloudflare-workers-and-pages]

Deploying agoric-sdk with    Cloudflare Pages

Latest commit:	478adb2
Status:	🚫  Build failed.

View logs

[dckc]

keys should be names for MAIN

to close #10194 , let's finalize all the configs, please - a3p and devnet should have the respective gov4 and a total of 3 after rotation.

[dckc]

The keys should be the names, not gov1 / gov2 / gov3.

agoric-sdk/packages/vm-config/decentral-main-vaults-config.json

Lines 165 to 171 in e1baf4e

	"voterAddresses": {
	"Jason Potts": "agoric1gx9uu7y6c90rqruhesae2t7c2vlw4uyyxlqxrx",
	"Chloe White": "agoric1d4228cvelf8tj65f4h7n2td90sscavln2283h5",
	"Thibault Schrepel": "agoric14543m33dr28x7qhwc558hzlj9szwhzwzpcmw6a",
	"Chris Berg": "agoric13p9adwk0na5npfq64g22l6xucvqdmu3xqe70wq",
	"Youssef Amrani": "agoric1el6zqs8ggctj5vwyukyk4fh50wcpdpwgugd5l5",
	"Joe Clark": "agoric1zayxg4e9vd0es9c9jlpt36qtth255txjp6a8yc"

[dckc]

I'd rather finish devnet and a3p configs in this pr, but I guess we can do it later

[rabi-siddique]

I'd rather finish devnet and a3p configs in this pr, but I guess we can do it later

Do we need to update the devnet config again? I think we made an update to it in #10251

As for the a3p config, Fraz is adding that in #10241