edits for supporting total info leak, as opposed to max CtoC info leak. Also fixed a "memory leak." The BigAndOr subcircuit we were adding at the end in each iteration in run() was not getting deleted and recreated. So the older ones would have been bloating the circuit. Fixed by adding a band parameter to the Ub() method that tacks on a <= circuit in each iteration.