trie: various encode/decode fixes.
utils: atomic bit coding now properly handles 64 bit values.