SOCHandPanel.updateDevCards: Skip check for new VP cards
SOCGameHandler efficiency: Skip check for new VP cards. Checked all other classes for similar, no others.
Refactor SOCDevCardSet: List, not array. Also subtract's callers always remove 1, so remove that param. Remove unused setAmount.