fix min-headroom to actually recognize stack-ensure instructions
Use new name for `unparse', namely `unparse-pda'

pda-to-pda-risc's commit 6c8ead makes the corresponding change.