fixed replicateV during symbolic simulation
fixed replicateV during symbolic simulation

Previously this function would always produce a sequence with the
"isWord" bit set to False. It now takes a type argument so that it can
properly set it to True when the elements are Bits.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,ntc2/cryptol