Use mangled name for intrinsic symbols#85

ehildenb wants to merge 12 commits intomasterruntimeverification/stable-mir-json:masterfrom

cold-path-intrinsicruntimeverification/stable-mir-json:cold-path-intrinsicCopy head branch name to clipboard