fix: liftCommandElabM now carries more state over#5800
Merged
kmill merged 4 commits intoleanprover:masterfrom kmill:fix_liftCommandElabMOct 24, 2024
+46-22
liftCommandElabM now carries more state over#5800