verify_eb_and_memory
ret = verify_eb_and_memory(eb, memory, "full eb write");
ret = verify_eb_and_memory(eb, memory, "same page non-overlapping memcpy 1");
ret = verify_eb_and_memory(eb, memory, "same page non-overlapping memcpy 2");
ret = verify_eb_and_memory(eb, memory, "same page non-overlapping memcpy 3");
ret = verify_eb_and_memory(eb, memory, "same page overlapping memcpy 1");
ret = verify_eb_and_memory(eb, memory, "same page overlapping memcpy 2");
ret = verify_eb_and_memory(eb, memory, "same page overlapping memcpy 3");
ret = verify_eb_and_memory(eb, memory, "cross page non-overlapping memcpy 1");
ret = verify_eb_and_memory(eb, memory, "cross page non-overlapping memcpy 2");
ret = verify_eb_and_memory(eb, memory, "cross page overlapping memcpy 1");
ret = verify_eb_and_memory(eb, memory, "cross page overlapping memcpy 2");