Function verify 

pub fn verify(module: &Module, names: &Interner) -> Result<(), Vec<VerifyError>>

Checks a whole module.

Errors

Gives back everything wrong with it, in the order the module is walked, which is the globals then the aliases then the functions then the metadata.