make exportDotFile() display regions more nicely
add another auto-generated safety requirement that we always be inside a valid region, otherwise strategy includes non-physical transitions (which is not wrong per se; just confusing)
apparently BuDDy and dddmp use the opposite order for their if/else edge listings; how annoying!
Add a bunch of BDD manipulation functions, plus finally a first iteration of BDD findTransitionableStates().  jx is still not accounted for.