Add record filter func to remove specific ref ids

Some use cases require removing specific entries from the trace to improve trace quality, e.g. the ones that are triggering a not-yet-fixed invariant error. We could add a new record_filter_func_t that takes in a list of such ref-ids and remove them from the trace. The record_filter already has logic to omit headers for units with no other entry left.