New verif strategy: each thread now inserts and lookup for a value

* Add pan.out file containing verification result

* Comment out unused sequential_test() process.
Cleanup: simplify model initialization
Optimization: reduce state space from 228 to 96 bytes (reduce memory consumption)
Allow interlave of collect() and other operations. Group log assertion and access in a single atomic statement