Use SymoblicByte for memory and emulator

[mnemonikr]

This uses the fixed-length SymbolicByte for storing bytes in memory instead of the variable-length SymbolicBitVec.