`UniqSupply` API should use -XLinearTypes

Once we can use -XLinearTypes in GHC, the UniqSupply API seems like a good fit to "make safer". For example, I think it's always an error to re-use a UniqSupply after we have splitUniqSupply it or called takeUniqSupply.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information