New semantic analyzer: crash on cyce in inheritance hierarchy

[JukkaL]

This generates a crash (max iteration count reached):

class A(A): pass 

[ilevkivskyi]

Actually I wanted to open a more general issue a while ago about ensuring that we are gracefully handling various kinds of "deadlocks": another thing I discovered involved circular star imports in some situations (I forgot a simple repro however).