Move some unit tests out of the documentation

sets.txt is used by Sphinx to build the documentation, so pure unit
tests without didactic value should reside in a separate file.