Implement symbolicCallData() and assumeBytesLength(bytes,uint256) cheatcodes

[palinatolmach]

Implement the following cheatcodes that have been factored out from #223:

    // Make calldata symbolic
    function symbolicCalldata() external;
    // Add assumptions about the length of symbolic calldata
    function assumeBytesLength(bytes calldata,uint256) external;

    rule ( selector ( "symbolicCallData()" )                       => 2368578420 )
    rule ( selector ( "assumeBytesLength(bytes,uint256)" )         => 1696199529 )

symbolicCallData — Changes the current calldata after a function selector to a symbolic variable.

function symbolicCallData() external;

    rule [foundry.call.symbolicCallData]:
         <k> #call_foundry SELECTOR _ARGS => . ... </k>
         <callData> CD:Bytes => #range( CD, 0, 4) +Bytes ?CALLDATA </callData>
      requires SELECTOR ==Int selector ( "symbolicCallData()" )

assumeBytesLength — Adds assumptions about the length of a symbolic bytes array.

function assumeBytesLength(bytes, uint256) external;

    rule [foundry.call.assumeBytesArray]:
         <k> #call_foundry SELECTOR ARGS => #assume (lengthBytes(#range(ARGS, 0, 32)) ==Int #asWord(#range(ARGS, 32, 32))) ... </k>
      requires SELECTOR ==Int selector ( "assumeBytesLength(bytes,uint256)" )