Add extensive debugging to diff synthesis, #ifdef DIFF_DETAIL.