Orchestrion: Compile-time auto-instrumentation for Go