Wonka, and Hollywood's complicated history of casting little people