Reference interpreter: Fix strictness of enumeration, shift/rotate, indexing
Reference interpreter: Fix strictness of enumeration, shift/rotate, indexing

Fixes #406.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol