Several diagnostic improvements Reviewed-by: jjg
Class inheritance circularity check should look at trees, not just symbols Reviewed-by: jjg