FIXED: Make erase_triple() thread-safe.  This is called concurrently when
asserted triples are erased for discarding a transaction.