Yair Halberstadt comments on LLM CoTs remain monitorable when being unfaithful requires computation