Implement binary packed DAOs

This implements memory-mapped packed DAOs (#180), and some semi-related performance improvements.