The `with-tracing` macro should allow passing in the keyword arguments that `trace-push` supports (also see issue #1).