Use property framework.
If we modify the End node, we changed the graph.

This fixes opt/fehler263.c.
Jump threading: Copy PhiM loop flag.

This fixes opt/fehler265.c.
jumpthreading: cleaner PhiLoop handling
We need to set the no-unreachable-code property instead of confirming it.