Cycle separating cuts in possible counterexamples to the cycle double cover and the Berge-Fulkerson conjectures