add slice test and get it to pass

src/eval_context.rs

src/lvalue.rs

src/terminator/drop.rs

src/terminator/intrinsic.rs

src/value.rs

tests/symbolic.rs

tests/symbolic/slice.rs