New proof compare modes (side-by-side, overlay, spilt and diff modes)