Rigorous verification of cocoon bifurcations in the Michelson system