Use operator equal for class compare

[ladisgin]

In class that has operator== use it for assert in test and klee_assume in *_klee.cpp files.

probably add some config for it.