Unreachable exception when passing wrong parameters to a secret contract

[moriaab]

If wrong parameters are passed to secret contract deployment or computation, the "unreachable" exception occurs, which is unclear.

To reproduce the behavior, call to any contract computation with wrong input. For example, deploy simple calculator contract (examples/eng_wasm_contracts/simple_calculator) and execute computation of the function add with one parameter instead of two parameters.

Expected behavior Clear message about the exact problem with the input.

[moriaab]

This defect is planned to be fixed as part of general improvement of treating wrong inputs for deployment and computation of secret contracts.