rename `region.destroy` to `region.empty`

Fixes #1320