Update SV-COMP configuration files to use the new flags

[AdamZsofi]

--witness-only is deprecated, so we need to change it to:

--enable-output
--disable-arg-generation
--disable-chc-serialization
--disable-xcfa-serialization
--disable-c-serialization
--only-svcomp-witness