Dev: Add PR check to verify the keys in `wps.global` are the same in dev and prod

**Describe the task**
If we don't have config maps updated with the key/values in dev, it's possible to deploy and have changes that rely on them break.

**Acceptance Criteria**
- [ ] first
- [ ] second
- [ ] third

**Additional context**
- Add any other context about the task here.
- Or here

The task concerns the wps.global keys in the dev and prod config maps and a pull-request check. Start by locating those config maps and any existing PR-check configuration. Done means the check reliably detects when the dev and prod key sets differ.

Written by the indexing model from the issue text.