a transaction could, in rare cases cause inconsistent computations.

Also added argument to incrgc to allow more aggressive GC.