For v1.19.0 migration, is this just spicedb migrate head? Release doesn't mention downtime / rollout configuration