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.
Maybe an enhancement to this would be a test with the order swapped? Based on the comment I'd expect the first failure to show up, not the first deferrable.