Implement binary encode/decode and use

Cuts down on size by factor of ~10, very slow startup though