Fix incorrect include in TWTRandomizedTestCase.h