Merge "Check the to-space invariant on a delivered exception."