Implement account_get_native_id and account_get_native_nonce kernel procedures

[Fumuran]

This PR implements two new kernel procedures:

• account_get_native_id returns the ID of the native account
• account_get_native_nonce returns the nonce of the native account

TODO:

• Update the protocol library file.

Closes: #1836

[bobbinth]

Looks good! Thank you! I mostly reviewed non-test code and left some small comments inline.

[PhilippGackstatter]

Looks good to me!

Only comments regarding AccountBuilder and some test nits. I only left nits for the ID tests, but they basically also apply to the nonce test. Very nice tests, though 🎉!

[PhilippGackstatter]

Suggested change

	#! Returns the account nonce.
	#! Returns the current account's nonce.

Nit

Edit: Or better match it to how we write it for the native account.

[Fumuran]

@bobbinth one question about value names in our api file, kernel and miden libraries: sometimes we use the "full form" for them (like native_account_nonce or account nonce) instead of the short version (just nonce). I think it would be better to unify their naming, so wanted to ask which form do you prefer. Judging by your "nit: I think just [nonce] is fine." comment you prefer the short version, but I just wanted to make sure, because sometimes we remove just "current_"/"native_" prefix (like in native_account_id), and sometimes we remove the entire "current_account_"/"native_account_" prefix (like in native_account_nonce).

[bobbinth]

@bobbinth one question about value names in our api file, kernel and miden libraries: sometimes we use the "full form" for them (like native_account_nonce or account nonce) instead of the short version (just nonce). I think it would be better to unify their naming, so wanted to ask which form do you prefer. Judging by your "nit: I think just [nonce] is fine." comment you prefer the short version, but I just wanted to make sure, because sometimes we remove just "current_"/"native_" prefix (like in ~native_~account_id), and sometimes we remove the entire "current_account_"/"native_account_" prefix (like in ~native_account_~nonce).

Not a strong preference, but if the context is easy to infer from the surrounding code/comments, I'd go for a shorter version. For example, if the procedure name is get_native_account_nonce, when we describe the return value of the procedure, using just nonce is fine.

[bobbinth]

All looks good! Thank you!