Add new option to disable optimizer.
Add new option to disable optimizer.

Passing --simplifycfg-sink-common=false to all calls to the preprocessor and optimizer.
Detailed explanation here https://github.com/seahorn/seahorn/commit/85d893c437f659a0253f901456fee5dee385c76c

seahorn/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm