Remove comment
Use final up/downsweep invariants
Add __non_temporal() macro
Check command-line input N is a power of two
Use noovfl predicates in downsweep invariant
Comment out expensive assertions