Added serialization to MockDb run methods

Implicitly increased number of serialization tests.
Fixed serialization for logical_not
Added a first experimental fail test