Adds safety case tracing facility in copper's macros#1075

gbin wants to merge 1 commit intomastercopper-project/copper-rs:masterfrom

gbin/safety-idscopper-project/copper-rs:gbin/safety-idsCopy head branch name to clipboard