Reproduce pathological Michelson issue in lazy function serialisation

[purcell]

With regard to the typechecking explosion noted in #73, @tomjack has expressed interest in reproducing this and tracking down the issue.

We would need to figure out a ref that reproduces this and then supply generated Ligo and a shell script showing how to load the lazy functions, seal the contract and then invoke the problematic endpoint.

[purcell]

Also Daniel Hines is interested in benchmarking how we hammer Michelson, see this discussion.

[purcell]

Probably the right commit to use for this is https://github.com/tzConnectBerlin/huxian/tree/8aabbd20852a1e6e94d703444b2dd82c0696806c