new Region.finalize(), update Domain.create_region()
fix region definitions in tests and examples as reported by Region.finalize()