pub fn verify(program: &Program, encoded: &Encoded) -> Result<(), Vec<Fault>>Expand description
Checks a whole encoded program against the program it was encoded from.
Every fault rather than the first, for crate::verify’s reason: one
cause usually shows up in several places, and seeing all of them is what
says which one it is.