add assertions to help catch issues in incremental parser
When building a resolution context, only perform resolutions when taking contextual types into account
It's ok to condense type arguments if the inner substitution is not an outer substitution
Enable printing some stack trackes under the harness
New regression tests
More conformance tests
Fix best common type order dependency and related bugs
Best common type picks the first type when there are multiple candidates
Delay checking of member compatibility between bases
Fix perf regression in NavigateTo
Add test for inverted clodule