Paper tweaks
Clarify that quiescent consistency is composable as well
Add section on synchronization primitives
Fix whitespace issue after \lstinline
Remove TODOs that are really WONTDOs