README.md add more example traces
in the Nondeterminism and Simulator sections
Revise discussions of select and simulator