shorten string conversion functions
Shorten getRandom call
Fix torch crashes; Remove non-ascii characters from save files
Destruct singletons before exiting main