[OpenMPOpt] Check for execution with an aligned barrier

If the next or last synchronizing instruction was an aligned barrier,
the instruction is executed in an aligned region.