Merge pull request #1 from neuronotic/master

BitTrie toString returns ordered string representation of contained objects.
cache loaded classes
test z3 32bit int arithmetic overflow