Update decoder design docs

[bobbinth]

The latest changes need to be reflected in the decoder design docs. These include:

1. Handling of CALL and SYSCALL blocks.
2. Updates to the block stack table.

[grjte]

For reference, #231 was the related issue, and the PRs that closed it are linked at the bottom