Would the “Bad Boys” franchise have been as successful with Arsenio Hall co-starring with Martin Lawrence instead of Will Smith?