Update to cereal 4

Build goes smoothly, tests pass.