include select TLA+ examples in model checking chapter

[klaeufer]

• https://www.sphinx-doc.org/en/master/usage/restructuredtext/basics.html
• https://sublime-and-sphinx-guide.readthedocs.io/en/latest/code_blocks.html