Add overlap check in add_region()
More verbose assertions