Iterative Evolution of Increased Behavioral Variation Characterizes the Transition to Sociality in Spiders and Proves Advantageous