Given an array `nums` that may contain duplicates, return all unique subsets. Return each subset sorted ascending and the list of subsets sorted by (length, then lexicographically), for a deterministic result.