pub fn run_strict(program: &Program) -> Run
Drive a program and check it, suppressing nothing.
What the regression tests for the known defects call, so that “known” never quietly becomes “invisible”.