New evolutionary models for massive ZZ Ceti stars - II. The effects of crystallization on their pulsational properties