Runs fixed compare-exchange stages that build and merge bitonic sequences.
Pad logical wires to a power of two.
Alternate ascending and descending runs.
Apply compare-exchange stages until all wires are ordered.