Jet mismatch in +muk in /lib/tiny #871
Description
+muk in /lib/tiny diverged from the one in /sys/hoon/hoon due to commits urbit/urbit@ab329e1 and urbit/urbit@cd34230, even though it uses the same jet. It is very hard to update /lib/tiny since it is used in Azimuth naive rollup contract, and the hash of the library is set by the galactic vote.
An alternative fix would be to make a separate jet for +muk in /lib/tiny that nondeterministically fails (u3m_bail(c3__fail)) on inputs that would currently lead to a jet mismatch, e.g. if the length len of key, divided by four, is greater than the length of blocks list, then Nock version would crash due to the lack of padding in blocks. One would also have to check for the presence/validity of ~(. fe 5) core in the context, since the jetted arm calls code from it, and it is not included in the jet dashboard.