Remove redundant command line options

Author: jezhiggins

regression/goto-analyzer/simple-union-access/test.desc

@@ -1,6 +1,6 @@
 CORE
 union.c
---variable-sensitivity --vsd --verify
+--variable-sensitivity --verify
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] line 13 x.a==0: UNKNOWN$