Fix some bugs involved in the initialization of BitStringInitializer, and add a property for setting the random seed.