Implement domain-specific trace writers for SMT multistore

[Manav-Aggarwal]

In #245 and #248, the trace writer in SMT multistore is modified to accomodate a substore-level traceWriter as well so we can keep track of logs on a substore level. This requires having multiple trace writers in a multistore.

We want to explore reducing these multiple trace writers to a single domain-specific writer that notes down the substore as part of the log operation. This would likely require modifying the traceKV store which is a common store used across all other stores for tracing.

We would like to keep compatibility of traceKV with the other stores while exploring this option.

[Manav-Aggarwal]

We use IAVL tree now. Closed by: rollkit#1