DCI 00 alt size fix

DCI size for format 00 and 10 should be equal so we need to compute the size of the alternative format when computing the size of DCIX0. There was a bug where the alt_size input (0 in that case) was taken into account also when computing that alternative size, resulting in an alt_size of 0. Possibly easier to understand by looking at the code then reading this description.