- move codec trait and implementations to twenty-first (193ffa3e)
- add codec functions for Program, Claim, and Proof (07f09801, 5e3f66be)
- get size for Program and Claim (2d827e9c, 77eed359)