Add cheatcode variants that allow introduction of custom K variable names.#6

nwatson22 wants to merge 4 commits intomasterruntimeverification/kontrol-cheatcodes:masterfrom

noah/custom-varname-cheatcodesruntimeverification/kontrol-cheatcodes:noah/custom-varname-cheatcodesCopy head branch name to clipboard