Propagation and Pitfalls: Reasoning-based Assessment of Knowledge Editing through Counterfactual Tasks