Fix binary naming and deprecated atomic API build warnings

[iblowmymind]

Cargo reports four non-kebab-case binary warnings, and GR2 uses the deprecated atomic fetch_update method. Rename the targets to chd-extract, jitv2-analyze, jitv2-verify, and jitv2-pcp-dump, and replace the GR2 call with try_update while preserving its orderings and saturating decrement.

Update executable references across CLI messages, monitor help, workflows, docs, rules, and source comments. Audited every tracked file; remaining underscore names are Rust source filenames or the verifier test-directory identifier.

Validation:

• cargo check -p iris --bins --features jitv2,j2wp --offline --locked passed without warnings.
• git diff --check passed.
• fin3_waits_for_queued_finish intermittently fails its early timing assertion; the same failure was reproduced with the original fetch_update call.

[techomancer]

it needs the stupid elf binary update