Optimize dump_eigenmath_symbols_smem function, increasing its speed and reducing binary size with some (hopefully clever) tricks.
Optimize session saving a bit more.