Centralizing test cases and various refactorings to the BigSemantics core.