Add CSE verification script with KCFG minimization and K module generation#668

Stevengre wants to merge 15 commits intomasterruntimeverification/mir-semantics:masterfrom

jh/cseruntimeverification/mir-semantics:jh/cseCopy head branch name to clipboard