modified worldview union algorithm to remove forward dependencies of transactors revealed to be independent after a transitively dependent history has been validated