Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
Merge branch '1.4.x'
Add option for aggressive model filtering in conjecture generator (enumerate ground terms).
Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph Sticksel for reporting these.
Fix a command-replay bug in tear-down-incremental mode.  Thanks to Christoph Sticksel for the report.
Fix improper #inclusion of private header outside library.
Merge branch '1.4.x'
Option for more aggressive merging in UEE.