Function run 

pub fn run(program: &Program) -> Run

Drive a program and check it, stepping over KNOWN_DEFECTS.

What the fuzz target calls. Never panics on a violation: it returns them, so the target can panic with a report and a regression test can assert on the list.