Array::lazy_deleter() now absorbs exceptions and calls MPI abort on error.