No need for this test script, it's obsolete
Fixing a bug with decision var re-setting in component handler
getVarElimed() should have a much saner interface
Model verifier didn't check tri clauses

And reported the number of checked clauses wrongly
Fixing noexcept problem
Better comments
If stamps are not enabled, unelimination segfaulted
No need to check the return value -- solver.okay() is checked later