Add pickling binary-format test