Add support for TF2 conditions up to 128 (holdover)

Only until the BitVec stuff makes its way to 1.6 (if ever).