Bugfixes - verification edition

Fixes some bugs in state comparison. These led to false negatives, where the verifies did not detect that it has already visited a state.
Also, much improved hashing algorithm for program states, especially in cases where JavaScript objects are used as data in events.