Make symbolic simulator handle recursively-defined lists of bits

Previously it would try to convert the recursive value directly
into a VWord constructor, forcing all bits immediately and causing
non-termination. Now it produces a VSeq constructor instead.

This addresses issue #130.