Fix diffing of adding/removing dynamics inside a for loop (which previously panicked)

[OmegaJak]

There are currently two unreachable! statements inside the diffing of for loops - I encountered these in my usage (for https://github.com/OmegaJak/what-do).

I've added a test demonstrating the scenario that caused the code to hit these unreachable statements and implemented the fix.