Reduce and verify testcase iteratively

1. imitate opt to reduce and verify testcase iteratively
1. as preparation for reducer, improve trace slicer to tag for alias values,
 values in slice, executed basic blocks and function calls in slice.
2. several amends in accordance with per-thread-logging