inspect: make default judge output minimal

Replace the section-menu judge/chair instructions with a strict minimal format: a one-line verdict plus a short bullet list of only the actionable findings, and nothing else — no preamble, headings, diff restatement, or filler. A clean change collapses to a single line. Update the synthesis-prompt tests to assert the minimal instructions and the absence of the old fixed sections.