testbench: don't generate thread versions that look local

I.e. there must always be at least one bit set in the low six bits of the
version field. It also may never be "1", because that's reserved for
interrupts. (which the kernel doesn't fail on, as interrupts aren't
implemented.)