Merge pull request #1 from ecstasygg/improvements

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

feat(encoding): prove canonical decoding and instruction injectivity

initial commit