[smt_run.sh] update script with inline options

[izlatkin]

https://stackoverflow.com/questions/25602813/force-a-function-to-be-inline-in-clang-llvm/48052670

> clang <other CFLAGS> -emit-llvm -c -o foo.bc foo.c
> opt -always-inline foo.bc -o foo_inline.bc
> clang -c -o foo.o foo_inline.bc