Function check_method_safety_contracts 

pub fn check_method_safety_contracts(
    class: &Class,
    interfaces: &HashMap<String, Class>,
) -> Vec<String>

Check that method implementations honor interface method safety contracts

This handles both:

1. Explicit annotations - must match the interface
2. Implicit inheritance - inherits from interface