Fix encoding of `WithOrigin` in `TPraosState`#1535

jasagredo merged 1 commit intomainIntersectMBO/ouroboros-consensus:mainfrom

js/withoriginthIntersectMBO/ouroboros-consensus:js/withoriginthCopy head branch name to clipboard