auth_tx_rpo_falcon512 authentication component implemented in Rust

[greenhat]

Close #534
Close #661

This PR is stacked on #666 and should be merged after it.

In this PR:

• Implemented Rust equivalent of the auth__tx_rpo_falcon512 authentication procedure from miden-base;
• Added missing and fixed incorrect tx kernel bindings in the Miden SDK;
• Added a local network test using counter contract and tested with and without the key;
• Added temporary emit_falcon_sig_to_stack intrinsic as a workaround for MASM emit.FALCON_SIG_TO_STACK until the VM version with emit taking its argument from the stack;