Necessary Divisibility Conditions for $2$-Designs