framework: add sync fixture format with checkpoint verification KATs#666

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:framework/sync-formattcoratger/leanSpec:framework/sync-formatCopy head branch name to clipboard