#1232 BddBitVector.ifThenElse(Any) improvements.

• No end-user visible changes.
• Changes
  • Made the methods static.
  • Changed the argument order to be more logical.
  • min/max now implemented in derived class, to avoid generics issues.

Closes #1232 (closed)