Code to switch between BitVector and Set

[brianguenter]

BitVector is used at each edge in derivative graph to store reachable variables, roots. When the number of variables/roots becomes large this overhead is significant. If the Jacobian is very sparse then Set might use less memory and be faster. add an analysis phase to determine when it makes sense to do this switch.

[brianguenter]

Doesn't seem compelling anymore.