it's time to get first feedback by engineers outside the focus group

Co-authored-by: wacban <[email protected]>

- The formulas in the pseudo code were opposite to the description,
  fixing it by swapping incoming and general congestion.
- "General" congestion is a bad name. Changing it to "Memory" congestion.
- Add a sentence of motiviation to the pseudo code snippets for extra explanation
- Add TODO for unbounded queue problem

Co-authored-by: wacban <[email protected]>

No link to the actual reference implementation, yet.
Just some clarifying text and in-place code.

I think it's better to keep it simple. While it could be useful in the future
to look at guaranteed to be burnt and attached gas separately for congestion,
our current strategy does not look at it.

- Change everything to reflect the smooth traffic light strategy.
- Put all data inside the chunk header to allow stateless validation to work.
- Fill in missing sections, such as alternatives and consequences.

described the two alternatives for efficiently calculating the congestion information and updated relevant sections

Added the description of how to integrate with resharding.

It should be based on general congestion, not only memory congestion.

update the preferred option and added state sync integration

Correct some typos, grammar issues, and clarify some text.

Address various comments by SME reviewers.

- Fix various grammar errors.
- Remove old names and use only the correct names for variables
- Start the specification section by introducing important concepts

Co-authored-by: Marcelo Fornet <[email protected]>

Co-authored-by: Michael Birch <[email protected]>