Temporarily call 'opt -O3' in krun to postpone having to implement aliases.
Temporarily call 'opt -O3' in krun to postpone having to implement aliases.

davidlazar/llvm-semantics,kframework/llvm-semantics-old