Add minimal batch output with --batch-full-output opt-in

[dnagoda]

📚 Stack (bottom → top)

1. Add batch mode for JSONL function runs #595 Add batch mode for processing multiple inputs via JSONL
2. Preserve JSON input object order #590 Preserve JSON input object order
3. Refine batch failure handling #591 Refine batch failure handling
4. Reuse the compiled provider across runs #592 Reuse the compiled provider across runs
5. Compute humanized bytes lazily #593 Compute humanized bytes lazily
6. Add minimal batch output with --batch-full-output opt-in #594 Add minimal batch output with --batch-full-output opt-in

Stacked PRs — review bottom-up.

---

Why

Batch mode emitted the full FunctionRunResult per input — including the echoed
input, function name, and size. Parity replay only needs the run outcome, and
the extra fields bloat the JSONL output for large runs.

What

• Default batch output is now a minimal record per line:
  success, instructions, memory_usage, logs, output.
• Add --batch-full-output to opt back into the complete FunctionRunResult
  per line.
• Extend integration coverage for both the minimal default and the
  full-output flag.

Single-run output is unaffected.

Testing

• cargo test batch_
• cargo test