[vm/compiler] Refined type analysis for check class.
[vm/compiler] Refined type analysis for check class.

Rationale:
Existence check on receiver cid in ICData was a bit
too convervative. Both receiver cid as well as owner
need to be checked for better results. Note that in
the long run, a better interaction with codegen
would be desirable.

Bug: https://github.com/dart-lang/sdk/issues/33664
Change-Id: I1bcbb76e0fa0f0d9be8fa4b7345b8c7e38d8d4fb
Reviewed-on: https://dart-review.googlesource.com/66300
Reviewed-by: Alexander Markov <239e774fd29abc1267878f57afe1a8a03e0ca887@google.com>
Commit-Queue: Aart Bik <293afa0533434225484ba3f9bf2859340baba6ea@google.com>

dart-archive/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk,dart-archive/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dart-lang/sdk,dart-lang/sdk,dartino/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk,dart-archive/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk,dartino/dart-sdk,dartino/dart-sdk,dartino/dart-sdk,dartino/dart-sdk,dart-archive/dart-sdk,dart-lang/sdk,dartino/dart-sdk,dart-archive/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk