Can't compile Checker with an unpatched LIGO
We don't have a self-contained reproduction example for this, but Checker's storage type is pretty large, and we have to patch LIGO with an override for michelson_maximum_type_size
in order to compile it. The resulting Michelson executes fine, so it seems like we're hitting an artificial bottleneck in LIGO that could potentially be relaxed?
This issue (with details of the patch) can also be found in our own issue tracker: