Fix memory fence prior to waiting: loop may not start before writes have finished.
Document return value of succ_propagate_fl, mark assert as failing.