Tests the corner case where both sides have the same trace that says the output root is valid but the malicious user has disputed the original output root anyway.