Validate model don't spread each other

[timotheeguerin]

model Foo { ...Bar }
model Bar { ...Foo }

this is one where fixing it with the current circular reference check gets too strict and breaks a lot of things.
Like currently this fails for alias but shouldn't

alias A = {
  a: B;
};
alias B = {
  a: A;
};