Added graph generating support for instantiate-universals. Found and fixed another bug in substitute-typevars
Renamed the tests to roughly order them in increasing complexity
Removed some debug statements and made the builder fork the process that opens the graph