document assurances of AsyncValue.wait_value(), etc.

[belm0]

wait_value(), wait_transition() and transitions() all ensure they block on changes to the current value without an intervening context switch. I.e. the last inspected value will still be in place when the blocking is activated.

Code often needs to rely on this to prevent race conditions and achieve eventual consistency.