LoPri: Callers for UKM hooks that use/return Bytes or Int256

[virgil-serbanuta]

Needs #123 and #135

The hooks are described in the UKM-HOOKS module here: https://pi-squared-workspace.slack.com/archives/C07B7RED0GG/p1727373614200429 (hte latest version available when this was written)

Should take something like this:

#[ethereum::hooks]
Trait Hooks {
        ...
	#[hook("CallData")]
        Fn CallDataRust(self) -> Bytes;
        ...
}

change the function so that it looks similar to this:

        Fn CallData(self) -> Bytes {
	        callData()
        }

where the callData thing is declared and evaluated in K like this:

syntax Expression ::= callData()
rule callData() => bytesStructFromKBytes(wrappedBytes(CallData()))

(See #135 for the implementation of bytesStructFromKBytes)
We handle hooks that return Int256 in a similar way, except that we use int256FromInt.

For things that use Bytes as arguments (all of them return ether K or MessageResult so they are not part of this issue) or In256 as arguments, we will do the following:

We will take something like this:

#[ethereum::hooks]
Trait Hooks {
        ...
	#[hook("Log1")]
        Fn Log1Rust(self, topic:Int256, data: Bytes);
        ...
}

change the function so that it looks similar to this:

        Fn Log1Rust(self, topic:Int256, data:Bytes) {
	        log1(topic, data);
        }

where the log1 thing is declared and evaluated in K like this:

syntax Expression ::= log1(Expression, Expression)  [seqstrict]
rule log1(V1:PtrValue, V2:PtrValue) => log1a(int256ToInt(V1 . x1, V1 . x2, , V1 . x3 , V1 . x2), bytesStructToKBytes(V2 . bytes_id))
syntax Expression ::= #log1(Expression, Expression)  [seqstrict]
rule #log1(wrappedInt(I:Int), wrappedBytes(B:Bytes)) => Log1(I, B)

(See #135 for the implementation of bytesStructToKBytes and #127 for int256ToInt)