document new `trace' option in the README
don't insert tracing calls before PHI nodes