change DConcat to allow any permutation of the contents

previously was forcing the bits satisfying the first assertion to come
before the bits satisfying the second.

this allows me to prove the sanity tests t12 and t13.