Pyvsc

- (89) Correct general solution-bias issue when using
dynamic constraints

- (93) Support slices/part selects on int/bit-type fields in
procedural code.
- (83) Correct an issue with variable-bounds detetion that
resulted in little randomization being applied to
constrained nested fields

- (92) Corrected an issue where soft constraints were dropped while
combining solve sets
- (91) Corrected the field-access overloading to properly handle
re-assignment to VSC fields
- (88) Correct how the width of unary expressions is propagated
- (87) Correct handling of enum-type fields by increasing common
implementation with scalar/int-type fields
- (86) Properly handle part-select on array-element references
- (85) Correct an issue with complex-reference resolution and
dist constraints
- (84) Correct an issue with expanding complex references inside
foreach constraints

- (81,82) Correctly propagate context-dependent expression widths
down the evaluation tree

- Correct the build process for Boolector nodes to only build
needed nodes for arrays. This avoids nodes being left behind.

- Correct an issue with constraints on nested arrays of objects
- Correct an issue where disabling a constraint in one
compound-array 'branch' resulted in disabling the constraint
in a different branch