The source project of this merge request has been removed.
Type checking intergration with sanity checker
This integrates !11811 (merged) into the sanity checker. It also adds toggles for it to setup.[bat,sh]. It is disabled by default because of it's long run time.
This should be ready for merge.