Skeleton edge cases fixes.
Fix a bug in the side effect handler.
We used to miss effects on some objects.
This change should make the initial pause of adding breakpoints take slightly longer but should reduce the runtime overhead slightly.
Allow skeletons that contain no holes.
Also do a slightly better job of not throwing exceptions during errors in cleanup.
Show the full synthesis dialog during refinement.
Save asynchronously after removing chosen since saving takes a bit of time.