Move licm after reassociate, add some cond-propagate passes