show more properties in tut21, and add a Python version
tut21 should show more of the supported properties: it's missing for instance is_unambiguous(). Also most of this C++ example should be doable in Python as well; but we probably need to add some magic to iterate easily over the states/transitions from Python.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information