Get Vat proofs running on the summarizer

[0xverif]

• [x] Get the test harness setup (move from kevm to erc20 repo)
• [x] Minimizing test harness for the erc20 repo (running directly from the summarizer)
• [x] Minimize K Spec test definitions (remove unnecessary cells created from previous KLab effort)
• [ ] Profile every mcd proof after adding a new lemma (check for correctness/speedup)
• [ ] Get working Vat proofs running on the summarizer (Starting with Vat Slip Pass Rough)
• [ ] Get non-working Vat proofs running on the summarizer

Changes to the verification lemmas file:

• [ ] Introduce new lemmas that correctly make progress in the cell.
• [ ] TODO

Changes required/made to the summarizer itself:

• [x] Change variable naming (buildRules and _parseableVarNames functions)
• [x] Allow having a simple verification.k file with lemmas for every Vat proof
• [x] Fix cover_nodes function to allow more steps
• [x] Add new lemma for Chop, vat-subui proof passing https://github.com/runtimeverification/evm-semantics/pull/1223/files