pub fn verify(program: &Program) -> Result<(), Vec<Invalid>>Expand description
Checks every function of program, reporting every fault rather than the
first: one lowering bug usually shows up in several places, and seeing
all of them is what says which one is the cause.