Detect optimized symbols

[erhant]

When reading a witness value, if that witness got optimized due to Circom optimization parameters, their variable index will be -1. It is possible to keep track of this somewhere (--simplification_substitution option) but we may just want to give a more explicit error for these cases.

Currently, it returns undefined if you read an optimized symbol.