Add insight about redundant jump elimination.
Add insight about redundant jump elimination.

- Whether we will actually implement this optimization is debatable. Building control-flow graphs is probably a bit overkill for now, but it's fun to think about.

marcopennekamp/lore,marcopennekamp/lore