pub fn run_with(program: &Program, suppressed: &[Known]) -> Run
Drive a program and check it, suppressing the named defects.