#29 ZVCG consistency + order of thm

[Leo Freitas]

The Verification view has a list of theorems but a confusing order for specs with large number of schemas.
IT would be nice to have it ordered by source location. What would be needed from the VCG data to have such features?

Also, the Signature schemas themselves shouldn't appear as VCs of interest (e.g., the FSBSig schemas added generate yet another set of existential proofs that are unnecessary?) discuss....