Make iteOp support symbolic VToNat values.
Make iteOp support symbolic VToNat values.

This should fix GaloisInc/saw-script#216.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script