evict stuff from kparser cache
revised MIntSet to be unsigned
fixes #1143 - allow ParseRulesFilter and ParseConfigFilter to catch JSGLR error
fixed a failing assertion
Merge pull request #1146 from yilongli/incomplete-attempt-to-prove-cil-avl

Incomplete attempt to prove cil avl
Merge pull request #1139 from dwightguth/localsdf

evict stuff from kparser cache