[FIX] Core, Locking: Fuzzy testing and fixed deadlock
[FIX] XQuery Update: removing buggy memory-saving optimization
[FIX] XQuery, JSON Serializer, output of element names. Closes #614