chore: update devnet config for EC members (#10251)

refs: #10194 

## Description
The PR updates the `DEVNET` config in the builder script of replace electorate core eval, which is identical for all testnets. It includes the wallet address of the new EC committee member and adds this address to the high-priority senders list.

### Scaling Considerations
n/a


### Upgrade Considerations
out of scope of this PR; see an upcoming issue

## Security / Documentation / Testing Considerations

These accounts are for testing. The usual key management considerations apply. The relevant private keys are shared on a need-to-know basis for testing.

packages/builders/scripts/inter-protocol/replace-electorate-core.js

@@ -55,13 +55,13 @@ const configurations = {
   },
   DEVNET: {
     committeeName: 'Economic Committee',
-    // TODO: Update the addresses after confirmation
     voterAddresses: {
       gov1: 'agoric1ldmtatp24qlllgxmrsjzcpe20fvlkp448zcuce',
       gov2: 'agoric140dmkrz2e42ergjj7gyvejhzmjzurvqeq82ang',
+      gov4: 'agoric1f0h5zgxyg3euxsqzs0506uj4cmu56y30pqx46s',
     },
     highPrioritySendersConfig: {
-      addressesToAdd: [],
+      addressesToAdd: ['agoric1f0h5zgxyg3euxsqzs0506uj4cmu56y30pqx46s'],
       addressesToRemove: ['agoric1w8wktaur4zf8qmmtn3n7x3r0jhsjkjntcm3u6h'],
     },
   },