Identified more CriticalSections and stripped out mutex-related asserts()