Fix deserialization of authorizations with multiple transitions

[lukenewman]

Motivation

When deserializing an Authorization from string a call stack that included multiple transitions, the structural assertion logic would erroneously fail. This PR fixes the assertion logic but does not change the underlying structure/order of the Authorization fields.

Test Plan

Added two unit tests for authorization deserializations:

• single transition is in synthesizer/process/src/stack/authorization/mod.rs
• multiple transitions is in synthesizer/src/vm/mod.rs

I'm happy to relocate the latter to authorization/mod.rs but stuck it in vm/mod.rs since it needs to deploy two programs to the test VM.

Related PRs

none

[vicsn]

Great find!

embedding a multi-transition Authorization unit test

Yes please. You can see some recent examples of adjusted tests in ledger/src/tests.rs in: https://github.com/ProvableHQ/snarkVM/pull/13/files . There are also a lot in synthesizer/src/vm/mod.rs

[lukenewman]

@vicsn this is good for another pass! added unit tests