Proportionality and Strategyproofness in Multiwinner Elections