Now users don't have to #ifdef on conservative vs precise tracing; it's just a generic embedder concern.