Bug fix in 'testcex' when flop count in the CEX is different from the network (say, after seq synthesis).
