ryates@cs.rochester.edu authored Jun 21, 2019 and Marge Bot committed Oct 23, 2019

Previously partial roll back of a branch of an `orElse` was attempted
if validation failure was observed.  Validation here, however, does
not account for what part of the transaction observed inconsistent
state.  This commit fixes this by fully aborting and restarting the
transaction.