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

build.yml の vars.DEFAULT_RUNNER_LABEL から始め、jest maxWorkers ジョブと CDK synth ジョブを調査します。より大きなデフォルト runner と、#shard-issue で参照されている sharding アプローチを比較し、継続的なコストと wall-time の短縮効果を比較検討します。A/B 比較と ADR-003 に基づく maintainer の承認に裏付けられた、runner サイズ変更の合意が得られれば完了です。

索引モデルが issue の本文から書いたものです。