Cleans up enumeration code and documentation.
Adds test for generating random FI graph.
Merge branch 'enumerate' of github.com:jfinkels/fraciso into enumerate