robustness #44
Description
When a transaction fails, things just stop working. Instead, an exception should be sent to the requestor and the database rolled back.
One complication here is BitSet, which is mutable. So the array used to create the BitSet at the beginning of the transaction needs to be used to rebuild the allocation bitset when a transaction fails.