Fix backtracing authenticity and mapping keys
- Fix bugs in backtracing of authenticity status.
- Keep verifying authenticity for channels (that have check authenticity on) with no security pattern by adding a authenticity pragma.
- Fix bug in mapping automatically nonce channels in memories.
- Change algo of mapping keys into memories.