Feature: Implement dynamic slicing based on a trace

[romanofski]

I'd like to check if we could provide dynamic slicing based on a coverage run. Perhaps that may become the default, and the static slice is just an approximation of the dynamic slice.