Functions with implicit side-effecting operations break map()

If a function with a `trace!()` or `assert!()` is invoked via `map()`, it will fail with a mysterious verifier error because functions invoked with `map()` are expected to be single-argument but the implicit token threading adds extra arguments.