Set hasSideEffects, isBranch, and mayStore flags for branch and store instructions. Otherwise, the optimizer just removes them all.