Audit fixes

Changes concerning the Audit Report findings:

Fixes

• The extractFieldFromContext function cannot escape backslashes
• The extractFieldFromContext function extracts without terminators
• Expected witnesses can be duplicated
• No delimiter for hashing user parameters
• No duplicate check for witnesses

Code Enhancements

• Better naming for noReentrant modifier
• Remove unused code