Fixes pushed()

contextlib.contextmanager() would add frames on the stack! Don't use it!
Merge branch 'master' into 'segv'
More work on parachute, placeholder serialization