Small fixes

- Support pointer argument for load
- Add flag to print working set out
- Don't include the env argument passed to each BB
- Check if the working set is empty after each block
  and stop slicing if so.