The terms of a much-hyped bet between Joe Lubin and Jimmy Song have finally been settled – and a lot of money is on the line.