atlas symbolik switch case

to my thinking, this seems like this is a natural extension of your work to make solve() handle value-sets.  is there a reason we shouldn't be able to apply value sets through the emulator read/writeSymMemory?  this way Mem objects are able to solve using the value-sets easily.