Verification in Generalizations of the 2-Handed Assembly Model