Support preserving attributes in various lowering

[ZenithalHourlyRate]

For debugging, it is especially useful to preserve some attribute during lowering, like comparing the noise analysis result with real bound that can only be obtained in runtime in debug function

(validate-noise annotate the result)
arith.add {bound = 50}
(lowered to)
bgv.add {bound = 50}
(lowered to)
lwe.radd {bound = 50}
(then passed to the lwe debug function)

Technically, we need to copy the attribute in all the lowering code.

This generally falls in the category of Attribute (lifetime) management. Related issues are #1414, #1415

There is also an issue related to refactoring secret.generic op lowering #1413. I might make a quick change to these lowerings if these refactoring is not on the way now.