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

Comienza en build.yml, en vars.DEFAULT_RUNNER_LABEL, y luego inspecciona los jobs jest maxWorkers y CDK synth. Compara el runner predeterminado más grande con el enfoque de sharding referenciado por #shard-issue, sopesando el coste recurrente frente al ahorro de tiempo de ejecución. La tarea estará terminada cuando exista un cambio acordado en el tamaño del runner, respaldado por la comparación A/B y la aprobación del maintainer conforme a ADR-003.

Escrito por el modelo de indexación a partir del texto del issue.