1.4.0

Many improvements, including:
a new, more flexible heuristic framework
faster conflict analysis in for bitvectors
faster graph reachability checks
many bug fixes