Added a randomDevCardType() method to DevCardType