Remove labels and unused VC generation code (#201)
* first checkin
* removed labels entirely
* removed references to Doomed
disabled doomed tests
* updated golden outputs
* disabled these tests
* updated golden outputs
* Do not parse prover options just for printing help
* calculate path only if a model exists
* check if there are prover warnings before processing model
* Revert "updated golden outputs"
This reverts commit b9e3aba64925dfb1a94770ae775b81e6b23fa6b8.
* Revert "updated golden outputs"
This reverts commit 35c39dd950591f9dc18b1c0e333dc248ca78a066.
* fixed a few golden outputs (all except the ones that use MUlTI_TRACES)
* eliminated MULTI_TRACES which was done using labels and updated golden outputs
* removed /vc: option
* remove doomed code and tests
* removed doomed related command line options
Co-authored-by: Bernhard Kragl <[email protected]>
