#89 VCG refresh upon spec change

[Leo Freitas]

If the spec changes (e.g., variable names in schemas change) yet the user does not "refresh" the VCG verification view, then old names are taken!
There is a balance to be striken in the sense that most VCs are okay (e.g., they use reference to schema names anyway).... but still.... discuss