868a68649c Merge pull request #1 from ecstasygg/improvements

prove decoder canonicality, verify tail recursive frontend workers and make binary output atomic