Added a Runnable-unique number to each RInst, for identification. Worked a bit more on shrinking