Do LLMs Really Think Step-by-step In Implicit Reasoning?