Reintroduced cleanup-on-bailout code.
Removed some complaints due to clang's integer sanitizer.

These almost certainly weren't bugs, but they were hard enough to
think about that I just made it slightly more explicit.
Merge branch 'master' of github.com:halide/Halide