Use much smaller compressed binary format for serializing tries
0.2.0