Fixed type signature in EXPECT_MEMORY.
Added test for CALL.
Fixed test_harness stuff.
Call works.