perf(ci): bump default runner (4→8/16-core) — follow-up to #363

Parent: #363. Spun from #363's DoD by the orchestrator; **needs maintainer `approved` (ADR-003)**.

## Goal
Raise the default runner size via `vars.DEFAULT_RUNNER_LABEL` (mechanism already exists in `build.yml`). jest `maxWorkers` + CDK synth are CPU-bound and both benefit.

## Scope / caveats
- Weigh recurring per-run cost vs wall-time saved.
- A/B against the sharding approach (#shard-issue) — they may be substitutes, not both.

Refs #363

Beginne in build.yml bei vars.DEFAULT_RUNNER_LABEL und untersuche anschließend die jest maxWorkers- und CDK synth-Jobs. Vergleiche den größeren Standard-Runner mit dem in #shard-issue referenzierten Sharding-Ansatz und wäge die laufenden Kosten gegen die Einsparungen bei der Wall-Time ab. Abgeschlossen ist die Aufgabe, wenn eine abgestimmte Änderung der Runner-Größe vorliegt, die durch den A/B-Vergleich und die Maintainer-Genehmigung gemäß ADR-003 gestützt wird.

Vom Indexierungsmodell aus dem Issue-Text verfasst.