fix to multiex pc at the end of an execution.
Single2 did not return SymbolicAnyVar when an uninstrumented or native function was skipped. Liang pointed this bug.
add more log statements
add command notes
more tests and benchmarks
Merge remote-tracking branch 'upstream/master'