Bugfix in recursive AST simplification
Fixed merging of compatible wire decls in AST frontend
Include id2ast pointers when dumping AST
Switched to EZMINISAT_SIMPSOLVER as default SAT solver