Stack finalization


This pass inserts peeks and replaces.