fix: respect `debug.skipKernelTC` when replaying realized constants

`realizeConst` runs `realize` with kernel checking disabled and then type checks the realized constants when it replays them into each calling branch's kernel environment. That replay ignored the caller's `debug.skipKernelTC`, so realizing, for example, the equation theorems of an imported definition ran the kernel in a background task even when the caller had disabled kernel checking. Pass the caller's `debug.skipKernelTC` to the replay.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>