"verbatim" functions

[ss2165]

a way to decorate functions indicate that optimisation-by-rewriting shouldn't be done on a function (especially important for quantum functions). This likely needs to translate in to a reserved metadata tag on these function definitions in HUGR.