Added recursive divide-and-conquer example to AsyncSTM tests