warn on filtered user traces#1347

knoal wants to merge 2 commits into

aiken-lang:mainaiken-lang/aiken:mainfrom

knoal:fix/1326-filtered-user-trace-warningknoal/aiken:fix/1326-filtered-user-trace-warningCopy head branch name to clipboard