Execution tracer refactor

[dingyuchen]

This PR updates:

1. ExecutionTrace as a collection of static methods to interface with the actual Tracer
2. Each ExecutionTracer handles its own thread.
3. Decouple ExecutionTrace and ExecutionTracer by storing all contextual information in its own class, TracingContext.