Update the symbolic simulator to use SBV's svSelect operation when possible.
Update the symbolic simulator to use SBV's svSelect operation when possible.

This can lead to significant improvements, especially in cases where SBV recognizes
that you are selecting from a table of constant values.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol