Evil bitvector preprocessing pass for simplifying powers of two.