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

Inizia in build.yml, all’altezza di vars.DEFAULT_RUNNER_LABEL, quindi esamina i job jest maxWorkers e CDK synth. Confronta il runner predefinito più grande con l’approccio di sharding indicato da #shard-issue, valutando il costo ricorrente rispetto al risparmio sul wall-time. Il lavoro è completato quando è stata concordata una modifica delle dimensioni del runner, supportata dal confronto A/B e dall’approvazione del maintainer secondo ADR-003.

Scritto dal modello di indicizzazione a partire dal testo della issue.