improved interleaving of start_execution vs. cancel_execution of the next update;

tuned proofs;

always revisit nodes independently of "required" flag, which may change during editing -- avoid "bloodbath effect" when changing perspective while loading;