Dataflow Sanitizer mechanism for checking transcript security

[Rumata888]

We need to ensure no parts of the protocol use transcript in an unexpected way. We can do tracking of usage of particular values with DFSan

[Rumata888]

Had to switch to manual tracking in recursive verifiers because DFSan randomly applies or loses tags (probably has to do with C++ and all the templating/complex objects we use)