Support for mutable objects and array

[levjj]

esverify currently only supports immutable object literals and arrays.

Improved support for mutability probably requires some redesign of the fundamental base of the vcgen, e.g. segmentation logic or frames/regions.

Example:

const a = [1,2,3];
a.push(4);
assert(a.length === 4);