HashTrieIterator: some bugfixes. Now it passes all of the tests
FileStorableDbEngineTest.stressTest(): some extra checks were added