Sort: improvements to a-bitonic, not working yet