Version 1.2.3

You know the drill, more massive optimizations to Hard. These also come with some optimizations that should help memory usage of the entire game, not that it generally matters; memory usage wasn't exactly a concern before Hard showed up.

I'll do my best to make this the last optimization update for a while now. We're finally starting to focus on features again, now that Hard is playable.