feat: Add imov instruction (WIP)

[sirasistant]

Emitted size reductions

AppSubscription::assert_block_number with size 406 => 403
AppSubscription::assert_not_expired with size 399 => 396
AppSubscription::constructor with size 2476 => 2456
Auth::constructor with size 2012 => 1995
Auth::get_authorized with size 297 => 295
Auth::get_authorized_delay with size 359 => 357
Auth::get_scheduled_authorized with size 282 => 280
Auth::set_authorized with size 1882 => 1866
Auth::set_authorized_delay with size 1801 => 1786
AuthRegistry::_set_authorized with size 519 => 516
AuthRegistry::consume with size 2365 => 2346
AuthRegistry::is_consumable with size 519 => 516
AuthRegistry::is_reject_all with size 355 => 353
AuthRegistry::set_authorized with size 370 => 368
AuthRegistry::set_reject_all with size 206 => 205
AuthWitTest::consume_public with size 1638 => 1624
AvmInitializerTest::constructor with size 1952 => 1936
AvmInitializerTest::read_storage_immutable with size 100 => 99
AvmTest::add_args_return with size 14 => 14
AvmTest::add_storage_map with size 402 => 400
AvmTest::add_u128 with size 130 => 129
AvmTest::assert_nullifier_exists with size 107 => 106
AvmTest::assert_same with size 97 => 96
AvmTest::assert_timestamp with size 103 => 102
AvmTest::assertion_failure with size 111 => 110
AvmTest::check_selector with size 1464 => 1451
AvmTest::create_different_nullifier_in_nested_call with size 246 => 244
AvmTest::create_same_nullifier_in_nested_call with size 244 => 242
AvmTest::debug_logging with size 241 => 241
AvmTest::elliptic_curve_add_and_double with size 81 => 81
AvmTest::emit_nullifier_and_check with size 189 => 188
AvmTest::emit_unencrypted_log with size 640 => 635
AvmTest::get_address with size 12 => 12
AvmTest::get_args_hash with size 17 => 17
AvmTest::get_block_number with size 12 => 12
AvmTest::get_chain_id with size 12 => 12
AvmTest::get_da_gas_left with size 12 => 12
AvmTest::get_fee_per_da_gas with size 12 => 12
AvmTest::get_fee_per_l2_gas with size 12 => 12
AvmTest::get_function_selector with size 12 => 12
AvmTest::get_l2_gas_left with size 12 => 12
AvmTest::get_sender with size 12 => 12
AvmTest::get_storage_address with size 12 => 12
AvmTest::get_timestamp with size 12 => 12
AvmTest::get_transaction_fee with size 12 => 12
AvmTest::get_version with size 12 => 12
AvmTest::keccak_f1600 with size 61 => 60
AvmTest::keccak_hash with size 1220 => 1208
AvmTest::l1_to_l2_msg_exists with size 16 => 16
AvmTest::modulo2 with size 15 => 15
AvmTest::nested_call_to_add with size 363 => 360
AvmTest::nested_call_to_add_with_gas with size 477 => 474
AvmTest::nested_static_call_to_add with size 377 => 374
AvmTest::nested_static_call_to_set_storage with size 257 => 255
AvmTest::new_note_hash with size 10 => 10
AvmTest::new_nullifier with size 10 => 10
AvmTest::note_hash_exists with size 16 => 16
AvmTest::nullifier_collision with size 11 => 11
AvmTest::nullifier_exists with size 16 => 16
AvmTest::pedersen_commit with size 90 => 90
AvmTest::pedersen_hash with size 18 => 18
AvmTest::pedersen_hash_with_index with size 18 => 18
AvmTest::poseidon2_hash with size 1289 => 1277
AvmTest::read_storage_list with size 55 => 54
AvmTest::read_storage_map with size 213 => 212
AvmTest::read_storage_single with size 24 => 24
AvmTest::send_l2_to_l1_msg with size 11 => 11
AvmTest::set_opcode_big_field with size 18 => 18
AvmTest::set_opcode_small_field with size 12 => 12
AvmTest::set_opcode_u32 with size 12 => 12
AvmTest::set_opcode_u64 with size 12 => 12
AvmTest::set_opcode_u8 with size 12 => 12
AvmTest::set_read_storage_single with size 33 => 33
AvmTest::set_storage_list with size 21 => 21
AvmTest::set_storage_map with size 220 => 219
AvmTest::set_storage_single with size 18 => 18
AvmTest::sha256_hash with size 46 => 45
AvmTest::test_get_contract_instance with size 339 => 337
AvmTest::test_get_contract_instance_raw with size 82 => 82
AvmTest::to_radix_le with size 162 => 160
AvmTest::u128_addition_overflow with size 469 => 468
AvmTest::u128_from_integer_overflow with size 149 => 149
AvmTest::variable_base_msm with size 92 => 92
Benchmarking::broadcast with size 216 => 215
Benchmarking::increment_balance with size 613 => 609
CardGame::on_card_played with size 1735 => 1725
CardGame::on_cards_claimed with size 1471 => 1465
CardGame::on_game_joined with size 1374 => 1367
CardGame::start_game with size 1913 => 1898
Child::pub_get_value with size 21 => 21
Child::pub_inc_value with size 43 => 43
Child::pub_inc_value_internal with size 216 => 215
Child::pub_set_value with size 30 => 30
Child::set_value_twice_with_nested_first with size 262 => 260
Child::set_value_twice_with_nested_last with size 262 => 260
Child::set_value_with_two_nested_calls with size 226 => 224
Claim::constructor with size 2083 => 2066
Crowdfunding::_check_deadline with size 465 => 461
Crowdfunding::_publish_donation_receipts with size 1821 => 1804
Crowdfunding::init with size 2217 => 2199
DelegatedOn::public_set_value with size 21 => 21
Delegator::public_delegate_set_value with size 291 => 289
DocsExample::get_shared_immutable_constrained_public with size 247 => 246
DocsExample::get_shared_immutable_constrained_public_indirect with size 170 => 169
DocsExample::get_shared_immutable_constrained_public_multiple with size 75 => 74
DocsExample::initialize_public_immutable with size 165 => 164
DocsExample::initialize_shared_immutable with size 165 => 164
DocsExample::spend_public_authwit with size 13 => 13
DocsExample::update_leader with size 177 => 176
EasyPrivateVoting::add_to_tally_public with size 678 => 673
EasyPrivateVoting::constructor with size 1973 => 1957
EasyPrivateVoting::end_vote with size 192 => 190
FeeJuice::_increase_public_balance with size 663 => 659
FeeJuice::balance_of_public with size 372 => 370
FeeJuice::check_balance with size 502 => 499
FeeJuice::claim_public with size 4523 => 4474
FeeJuice::mint_public with size 499 => 496
FeeJuice::set_portal with size 185 => 184
FPC::constructor with size 1952 => 1936
FPC::pay_refund with size 1037 => 1029
FPC::pay_refund_with_shielded_rebate with size 1082 => 1074
FPC::prepare_fee with size 755 => 748
ImportTest::pub_call_public_fn with size 243 => 241
InclusionProofs::constructor with size 1826 => 1811
InclusionProofs::push_nullifier_public with size 86 => 85
InclusionProofs::test_nullifier_inclusion_from_public with size 90 => 89
KeyRegistry::register_npk_and_ivpk with size 10349 => 10264
KeyRegistry::register_ovpk_and_tpk with size 10351 => 10266
KeyRegistry::rotate_npk_m with size 6797 => 6740
Lending::_borrow with size 6430 => 6387
Lending::_deposit with size 530 => 526
Lending::_repay with size 4112 => 4085
Lending::_withdraw with size 6315 => 6272
Lending::borrow_public with size 515 => 510
Lending::deposit_public with size 1034 => 1024
Lending::get_asset with size 464 => 461
Lending::get_assets with size 274 => 271
Lending::get_position with size 2475 => 2460
Lending::init with size 409 => 407
Lending::repay_public with size 936 => 927
Lending::update_accumulator with size 6045 => 6009
Lending::withdraw_public with size 515 => 510
Parent::pub_entry_point with size 144 => 143
Parent::pub_entry_point_twice with size 250 => 248
Parent::public_nested_static_call with size 1588 => 1575
Parent::public_static_call with size 179 => 177
PriceFeed::get_price with size 355 => 353
PriceFeed::set_price with size 216 => 215
PrivateFPC::constructor with size 2083 => 2066
StatefulTest::get_public_value with size 360 => 358
StatefulTest::increment_public_value with size 285 => 283
StatefulTest::increment_public_value_no_init_check with size 217 => 216
StatefulTest::public_constructor with size 2142 => 2124
StaticChild::pub_get_value with size 176 => 175
StaticChild::pub_illegal_inc_value with size 214 => 213
StaticChild::pub_inc_value with size 43 => 43
StaticChild::pub_set_value with size 30 => 30
StaticParent::public_call with size 144 => 143
StaticParent::public_get_value_from_child with size 279 => 277
StaticParent::public_nested_static_call with size 486 => 482
StaticParent::public_static_call with size 179 => 177
Test::assert_public_global_vars with size 454 => 448
Test::consume_message_from_arbitrary_sender_public with size 3580 => 3542
Test::consume_mint_public_message with size 4025 => 3979
Test::create_l2_to_l1_message_arbitrary_recipient_public with size 11 => 11
Test::create_l2_to_l1_message_public with size 24 => 24
Test::dummy_public_call with size 171 => 170
Test::emit_nullifier_public with size 10 => 10
Test::emit_unencrypted with size 258 => 256
Test::is_time_equal with size 17 => 17
TestLog::emit_unencrypted_events with size 3149 => 3119
Token::_increase_public_balance with size 731 => 726
Token::_reduce_total_supply with size 401 => 398
Token::admin with size 227 => 225
Token::assert_minter_and_mint with size 651 => 646
Token::balance_of_public with size 440 => 437
Token::burn_public with size 3763 => 3731
Token::constructor with size 2674 => 2654
Token::is_minter with size 414 => 411
Token::mint_private with size 825 => 821
Token::mint_public with size 946 => 939
Token::public_get_decimals with size 262 => 260
Token::public_get_name with size 251 => 249
Token::public_get_symbol with size 255 => 253
Token::set_admin with size 180 => 178
Token::set_minter with size 357 => 354
Token::shield with size 3950 => 3919
Token::total_supply with size 255 => 253
Token::transfer_public with size 4077 => 4043
TokenBlacklist::_increase_public_balance with size 731 => 726
TokenBlacklist::_reduce_total_supply with size 401 => 398
TokenBlacklist::balance_of_public with size 440 => 437
TokenBlacklist::burn_public with size 4104 => 4070
TokenBlacklist::constructor with size 3844 => 3814
TokenBlacklist::get_roles with size 491 => 488
TokenBlacklist::mint_private with size 905 => 901
TokenBlacklist::mint_public with size 1387 => 1378
TokenBlacklist::shield with size 4291 => 4258
TokenBlacklist::total_supply with size 255 => 253
TokenBlacklist::transfer_public with size 4762 => 4724
TokenBlacklist::update_roles with size 2503 => 2485
TokenBridge::_assert_token_is_same with size 391 => 388
TokenBridge::_call_mint_on_token with size 586 => 581
TokenBridge::claim_public with size 4458 => 4408
TokenBridge::constructor with size 1962 => 1946
TokenBridge::exit_to_l1_public with size 1147 => 1136
TokenBridge::get_portal_address_public with size 112 => 111
TokenBridge::get_token with size 237 => 235
TokenWithRefunds::_increase_public_balance with size 731 => 726
TokenWithRefunds::_reduce_total_supply with size 401 => 398
TokenWithRefunds::admin with size 227 => 225
TokenWithRefunds::assert_minter_and_mint with size 651 => 646
TokenWithRefunds::balance_of_public with size 440 => 437
TokenWithRefunds::burn_public with size 3763 => 3731
TokenWithRefunds::complete_refund with size 774 => 770
TokenWithRefunds::constructor with size 2674 => 2654
TokenWithRefunds::is_minter with size 414 => 411
TokenWithRefunds::mint_private with size 825 => 821
TokenWithRefunds::mint_public with size 946 => 939
TokenWithRefunds::public_get_decimals with size 262 => 260
TokenWithRefunds::public_get_name with size 251 => 249
TokenWithRefunds::public_get_symbol with size 255 => 253
TokenWithRefunds::set_admin with size 180 => 178
TokenWithRefunds::set_minter with size 357 => 354
TokenWithRefunds::shield with size 3950 => 3919
TokenWithRefunds::total_supply with size 255 => 253
TokenWithRefunds::transfer_public with size 4077 => 4043
Uniswap::_approve_bridge_and_exit_input_asset_to_L1 with size 10596 => 10501
Uniswap::_assert_token_is_same with size 697 => 692
Uniswap::constructor with size 1952 => 1936
Uniswap::swap_public with size 6079 => 6022