Add AllSuccesses join combinator

This is modeled on the Successes combinator, but has
the semantics that either all operations succeed or it
fails with the first failure.