Function run_constant

Check a single constant chosen by Lean NAME (the `--constant` path). Resolve name → constant address via the env's `named` metadata, map to its ingress block's work item, and ship its closure sub-env. By default the check-list is the ENTIRE closure (full-closure typecheck); with `--skip-deps` it is just the subject (deps trusted). Honors `--dump-input` (write stdin for ziskemu), `--execute` (cycle

(
  client: &EmbeddedClient,
  plan: &InputPlan,
  name: &str,
  args: &Args,
)