Add SV-COMP ssh-simplified benchmarks

Some benchmarks were modified to accommodate the capabilities
of the current automatic source-to-source transformation
required for native symbolic execution. In three cases,
more substantial changes were needed to the benchmarks and
those were noted in the relevant source files.