ListSel on VWord in symbolic backend uses correct endian-ness.
ListSel on VWord in symbolic backend uses correct endian-ness.

Fixes #251.

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