Write too large with Firefox

[suyashmahar]

Some bitcode files for firefox generate Write too large error.

How to reproduce:

stack exec -- sys -c uninit -e prod -d firefox_ll_files/vp9_segmentation.ll-O2_p

Bitcode is available here.

And the error is raised here: https://github.com/PLSysSec/sys/blob/821c4d7cf924e68838c128cbe824be46c9955416/src/Symex/Symex/Memory.hs#L181

Which seems like some kind of arbitrary limit that can be changed? Changing it to 20k fixed the error. I'm not sure if that would break something in Sys.

(Using clang-9 and bleeding edge firefox)

-Suyash

CC @epyeh