feat(framework): disallow assign of fixedbytes of size X to bytes of size Y when X != Y (ethereum#1010)

* unit tests

* fix after rebase

* fix(types): Transaction `to` validation fix

* refactor(base_types): replace left_pad_zeros_up_to_size with fixed bytes constructor parameter

---------

Co-authored-by: Mario Vega <[email protected]>

Author: winsvega

cancun/eip1153_tstore/test_tstorage_execution_contexts.py

@@ -308,7 +308,7 @@ def tx(pre: Alloc, caller_address: Address, callee_address: Address) -> Transact
     return Transaction(
         sender=pre.fund_eoa(),
         to=caller_address,
-        data=Hash(callee_address),
+        data=Hash(callee_address, left_padding=True),
         gas_limit=1_000_000,
     )
 

cancun/eip1153_tstore/test_tstorage_selfdestruct.py

@@ -230,10 +230,10 @@ def test_reentrant_selfdestructing_call(
 
     caller_address = pre.deploy_contract(code=caller_bytecode)
 
-    data: Hash | Bytecode
+    data: bytes | Bytecode
     if pre_existing_contract:
         callee_address = pre.deploy_contract(code=callee_bytecode)
-        data = Hash(callee_address)
+        data = Hash(callee_address, left_padding=True)
     else:
         callee_address = compute_create_address(address=caller_address, nonce=1)
         data = Initcode(deploy_code=callee_bytecode)

shanghai/eip4895_withdrawals/test_withdrawals.py

@@ -201,7 +201,7 @@ def test_balance_within_block(blockchain_test: BlockchainTestFiller, pre: Alloc)
                     sender=sender,
                     gas_limit=100000,
                     to=contract_address,
-                    data=Hash(recipient),
+                    data=Hash(recipient, left_padding=True),
                 )
             ],
             withdrawals=[
@@ -219,7 +219,7 @@ def test_balance_within_block(blockchain_test: BlockchainTestFiller, pre: Alloc)
                     sender=sender,
                     gas_limit=100000,
                     to=contract_address,
-                    data=Hash(recipient),
+                    data=Hash(recipient, left_padding=True),
                 )
             ]
         ),
@@ -373,7 +373,7 @@ def test_self_destructing_account(
         sender=sender,
         gas_limit=100000,
         to=self_destruct_contract_address,
-        data=Hash(recipient),
+        data=Hash(recipient, left_padding=True),
     )
 
     withdrawal = Withdrawal(