pub fn validate_module(module: &Module) -> Vec<ValidationError>
Validates every function in a module.