Add heuristic to order harness codegen#4257

AlexanderPortland wants to merge 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:codegen-orderingAlexanderPortland/kani:codegen-orderingCopy head branch name to clipboard