Fix #831: Set Character.MAX_VALUE to correct value
Merge pull request #842 from gzm0/fix-char-max-value

Fix #831: Set Character.MAX_VALUE to correct value
Fix detection of elidable module accessors.
Merge pull request #844 from sjrd/fix-elidable-module-accessor

Fix detection of elidable module accessors.
Adapt checksizes after the improvements to the optimizer.
Merge pull request #845 from sjrd/update-checksizes

Adapt checksizes after the improvements to the optimizer.