Optimize append operator (#) on bitvectors.
Optimize append operator (#) on bitvectors.

The interpreter no longer converts bitvectors to lists of bits before
appending them together.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol