Documentation fixes

[PhilippGackstatter]

Describe your changes

A small number of fixes for the VM documentation.

• The number of locals a procedure may have and the total number of locals for all procedures was documented in two places and both numbers were different:

"The number of locals per procedure is not limited, but the total number of locals available to all procedures at runtime must be smaller than 2^32." (https://0xpolygonmiden.github.io/miden-vm/user_docs/assembly/io_operations.html#random-access-memory)
"A procedure can have at most 2^16 locals, and the total number of locals available to all procedures at runtime is limited to 2^30." (https://0xpolygonmiden.github.io/miden-vm/user_docs/assembly/code_organization.html#procedures). (This should be the correct one afaict).

• stack and advstack was used for the advice stack, so I made it consistently use advstack since stack is used for the operand stack.
• Fix rendering of list.
• Fix a typo.

I assume this PR could use the no changelog label since nothing new is introduced?

Checklist before requesting a review

• Repo forked and branch created from next according to naming convention.
• Commit messages and codestyle follow conventions.
• Relevant issues are linked in the PR description.
• Tests added for new functionality.
• Documentation/comments updated according to changes.

[plafer]

LGTM! (although I didn't verify the statement about $2^{16}$ locals, but optimistically assuming it's correct)

[PhilippGackstatter]

LGTM! (although I didn't verify the statement about 2 16 locals, but optimistically assuming it's correct)

Thank you!

At least given that the num_locals is a u16 this should be correct, as it happens to match exactly the data type.

miden-vm/assembly/src/ast/procedure/procedure.rs

Lines 53 to 63 in fbce798

	pub struct Procedure {
	/// The source span of the full procedure body
	span: SourceSpan,
	/// The documentation attached to this procedure
	docs: Option<Span<String>>,
	/// The local name of this procedure
	name: ProcedureName,
	/// The visibility of this procedure (i.e. whether it is exported or not)
	visibility: Visibility,
	/// The number of locals to allocate for this procedure
	num_locals: u16,

Edit: Actually, shouldn't it be 2^(16) - 1 then 🤔?

The playground agrees 😄

Error: Failed to compile program - "Failed to compile program - number of procedure locals cannot be greater than 65535 characters, but was 65536"