Add --inst-max-level=N option for Kshitij.  Support define-const command in Smt2.