[weld-dev] Running TCK Tests