Added another opcode test.
I added an assertion for memory state.
I added EXPECT_* macros for making memory/register state assertions.