Assorted optimizations and fixes

Fix strange random failure in TestClearReferences

Fix a memory leak caused by DatabaseCloser objects

Step toward making transaction commit atomic.

Assorted minor optimizations

Detect possible overflow in integer division and optimize some code

Implement Comparable<Value> in CompareMode and optimize ValueHashMap.keys()

Reduce allocation of ExpressionVisitor instances