Function build_nextest_args 

pub fn build_nextest_args(
    nextest_profile: Option<&str>,
    forward: &[String],
) -> Vec<String>

Build the cargo nextest run argument vector for the verifier sweep.

Load-bearing tokens:

• --run-ignored all: verifier cells are emitted ignore-gated, so nextest skips them unless opted in.
• --no-tests pass: a zero-cell selection exits 0 (not nextest’s default exit-4 “no tests to run”), so classify_run_outcome can emit a targeted diagnostic instead of a cryptic nextest exit.
• -E 'test(/^verifier/) & !test(/^verifier::/)': the verifier/... cells, excluding the verifier module’s own verifier::tests::*.

nextest_profile, if set, becomes nextest’s --profile <NAME>, emitted before forward so a forwarded token cannot shadow it. forward is the user’s trailing cargo/nextest args, appended verbatim.