A test harness for checking results of semantic analysis. I got tired of writing ad-hoc test cases when finding bugs in semantic analysis, so I made this.