pub fn validate_module(module: &Module<'_>) -> Result<(), ValidationError>
Validate a decoded module.