Add integration specs for tracing

One pending: void results can't return anything.