A bit more clean way of setting LitExtra
Adding <?php so it would work with other versions of PHP
Don't run for 5min during fuzzing, 1.5min is OK
Disabling largefuzzer -- it's very slow to run it
Removing useless comments
Removing incorrect and useless javadocs
Fixing the English of the printed message
A bit more verbosity regarding component re-adding
Forgot to dump the whole solution to debugLibPart
Oops, we first need to replace, then check variable sizes
This can be a const Lit, no need to risk changing the Lit
Ooops, need to un-save memory at newVar()
Clean up the if-then-else here
Give more timeout and fix the timeout diff, too
Check the implicit stats, it's needed for correctness, I think