feat: support tracing for `N` occurences of a given function

# Summary

The purpose of this feature is to enable a trace to be generated for only `N` occurrences of a given function.  This feature needs to be accessible through the API as well (e.g. so it can be accessed via the `zkcdriver`).
