Revison to existing sections; Draft version -> 1st release version preparation

[Mingkai-Li]

• [x] Fix merge conflict
• [x] Consistency check for all sections
• [x] Add collapsible blocks for descriptions in the spec

[jasonyu1996]

I'll try translating the current version on testing to Sail. Might be able to spot some issues then.

[jasonyu1996]

Another thing to specially focus on is

• [x] Check that we are maintaining linearity in each operation, especially in control flow transfers where a lot of things are happening

[Mingkai-Li]

OK, I'm going to check control flow instructsions and interrupt and exception first :laughing:

[Mingkai-Li]

• [x] Compatibility between control flow instructions and interrupt/exception