Add recursive divide-and-conquer example to AsyncSTM tests

Contributed by Rob Stewart, fixes #67.