Whatever happened to the rule that Marvel actors don't do DC movies and DC actors don't do Marvel movies (at least not contemporaneously)? Is that not a thing?