add assertions after barriers to make them easier to use during verification
add assertions after barriers to make them easier to use during verification

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors