Add a trivial test that checks that `-Xoverride-konan-properties` overrides corresponding properties of LLVM optimization pipeline.