Destinations are now stored as a byte[], in order to reduce header size.  The index of a destinations from the current view is stored in a byte[], and the id of this view is provided in the header.  Upon receiving a message the ViewManager class is used to map the specified viewId with the corresponding view and then retrieve the addresses stored at the indexes specified in the byte[]
The number of orderings sent per ordering message is now independent of the total number of message orderings stored by a ordering box
Errors associated with allocating a box member as a coordinator have been resolved