rho contracts might neither return, throw, nor hang

[dckc]

In .js, the "behavioral type" of all methods is that they return, throw, or hang. As demonstrated in the notary example, this assumption can creep into the translation: https://github.com/rchain-community/js2rho/blob/7fe7637f2080774cf6edb377ce437b65106cb2b4/examples/notary.rho#L21