clarify reorder contract
check indices for ZeroVector reorder