resource_pool: mark changed on allocation or release (#8)