compiler: cleanup cfg passes to have stack effect ( cfg -- )