Use validation options in regression tests

[tautschnig]

Now that we have (several) internal consistency validation options, we should also think about the best way of making use of them during CI runs. For example, we might validate the goto model in goto-cc and goto-instrument related regression tests, and validate SSA in CBMC/JBMC regression tests.

[tautschnig]

This was done in #3767.