The output bisection changes wound up in a new contract so no changes need to be made to the existing FaultDisputeGame contract and the TODO can be removed.