This PR fixes the specification of ic0.call_new and ic0.call_on_cleanup that do not validate the provided callback (in particular, since the canister can be upgraded before the callback is executed and thus the callback validation must be performed just before the callback is executed).
This PR fixes the specification of
ic0.call_newandic0.call_on_cleanupthat do not validate the provided callback (in particular, since the canister can be upgraded before the callback is executed and thus the callback validation must be performed just before the callback is executed).