Fixed several subtle bugs in the converse runtime for convex
drwxr-xr-x - NOTES
-rwxr-xr-x 1294 SUPER_INSTALL
drwxr-xr-x - doc
drwxr-xr-x - src