The point about semantic diff viewer sounds very interesting. I think many coding harnesses are not doing this well enough.