fix stale section reference to user guide in example config
Extend user-yield logic to also deal with xchg-continue mutexes.
remove extraneous dump_stack() that somehow snuck in
Add print statements to help debug 'context switch is true but shouldn't be' messages