footprint optimisation: assumption name set to the name of the attribute, class.attr message provided on invalidation

Author: cosminbasca

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/type/PythonClass.java

@@ -121,7 +121,7 @@ public Assumption createAttributeInMROFinalAssumption(Object name) {
             attributesInMROFinalAssumptions.put(name, attrAssumptions);
         }
 
-        Assumption assumption = Truffle.getRuntime().createAssumption(className + "." + name);
+        Assumption assumption = Truffle.getRuntime().createAssumption(name.toString());
         attrAssumptions.add(assumption);
         return assumption;
     }
@@ -141,7 +141,7 @@ public void setAttributeInMROFinalAssumption(Object name, Assumption assumption)
     public void invalidateAttributeInMROFinalAssumptions(Object name) {
         List<Assumption> assumptions = attributesInMROFinalAssumptions.getOrDefault(name, new ArrayList<>());
         for (Assumption assumption : assumptions) {
-            assumption.invalidate();
+            assumption.invalidate(className + "." + name);
         }
     }