Stable and correct version of KVS using the new trace spec

• Use https://github.com/lbinria/trace_validation_tools/releases/tag/v1.2
• Enabling concurrent threads on Add, Update, Remove actions

This implementation of KVS is stable and correct regarding to KVS specification and trace validation.