Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step by Step