Function validate_safe_methods 

fn validate_safe_methods(
    metadata: &ContractMetadata,
    hazards: &HashMap<String, Hazards>,
) -> Vec<IrDiagnostic>