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.

Stable and correct version of KVS

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

Dependency: https://github.com/lbinria/trace_validation_tools/tree/v0.1

Stable and incorrect version of KVS

• Try to trace variable delta
• Buggy version with some notes on bug found with trace validation