Update dynamic slicer to add core algo

Add aligned trace elemnts to a vector for processing.
Added basic algorithm for slicing.
Keep a map of the marked instructions using a bitset.
Still needs implementations for each LLVM op